Cosine of Sum/Proof 6