theorem :: COMPTRIG:40
Arg <i> = PI / 2