theorem :: COMPTRIG:40

Arg <i> = PI / 2