reconsider X = {[{} ,{} ]} as Relation ;
not X is empty ;
hence not for b₁ being Relation holds b₁ is empty ; :: thesis: verum