P
Initializing...
A trigonometric identity using the angle pi over three · Prove2Me