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