How do you prove #sinx + cosx = -1#?