Derive Difference of Two Angles Identities (Unit Circle)

TODO: