Prove Trigonometric G12