Due to the
because of the reasoning in the proof of
From that we deduce, with the help of
the addition theorems,
the relations between sine and cosine as mentioned in (3), e.g.
Hence it is enough to prove the statements for cosine. All statements follow from the definition of and from (3).