How do you prove the identity Cos2x-sinx=0?