P
Initializing...
A nonzero algebraic angle has irrational rotation ratio · Prove2Me