P
Initializing...
Corollary: the frequencies are $0$, $2$ and $2\sin(\theta/2)$ · Prove2Me