How do you prove (1-tanx)^2=sec^2x-2tanx?