I think you are right lyounamu.
LHS = (1 - sin2 a) - cos2 a (1 - cos2 b)
= cos^b - cos^2a . cos^2b - cos^2 a + cos^a cos^2 b
= cos^2b - cos^2 a
= (1 - sin^2 b) - (1 - sin^2 a)
= sin^2 a - sin^2 b
PS: annabackwards' is better .. I suspected I should have converted cos^2 a to sin^2 a etc but ..