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