How do you prove: cosx*sinx=cosx+sinx?