The square and subtraction of two trigonometric functions is equal to their product