Cosine minus Cosine/Proof 2