Finish Sine/Cosine theorems (application)