prove the identity tan^2x+6=sec^2x+5