Finish Sine/Cosine theorems (basics).