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