TR.T.4: Prove the Laws of Sines and Cosines.