If sin y = x cos(a + y), prove that dy/dx = (cos²(a + y))/cos a. Also, show that dy/dx cos a, when x = 0.