Double Angle Formula for Cosine/Corollary 3