How do you verify #secx-tanx=(1-sinx)/cosx#?