Cosine minus Cosine/Proof 1