Reciprocal of One Plus Cosine/Proof 1