This example shows how to derive the difference of two angle identities as a proof-without-words shown below.
