Proof of sum and difference identities

Here I generate the sum and difference identities for sine and cosine. You may be interested in my Sum and Difference Identities Circuit: http://bit.ly/3ZvPuCL