[:a,b:] c= [:a,b:] ;
hence not for b₁ being Relation of a,b holds b₁ is empty ; :: thesis: verum