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