Double Angle Formula for Cosine/Corollary 2/Proof