Double Angle Formula for Cosine/Corollary 1/Proof