How do you prove: 2sinx = cosx?