Cosine plus Cosine/Proof 1