Reciprocal of One Plus Cosine/Proof 3