How do you verify the identity tan^2theta+4=sec^2theta+3?