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