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