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