Given that for some angle a

x = sin a/cos a + cos a/sin a

and

y = 2/cos a – 2cos a,

show that 4x⁴y² = 16 + x²y⁴ + 12x²y².