How do you prove the identity cos2xsinx=0?