<i> = 0 + (1 * <i>) ;
hence Arg <i> = PI / 2 by Th37; :: thesis: verum