How do you prove 1 - 2 sin^2r + sin^4r = cos^4r?