0 + (1 * <i> ) = [**0 ,1**] ;
hence <i> is Element of F_Complex ; :: thesis: verum