OCR MEI Core 4 1.16 Proving One More Trigonometric Identity