How do you prove #(cosx-1)(tanx-1)=0#?