How do you prove #2sin x cos x-sin x=0#?