Add Sine/Cosine theorem (application).