not Maps G,H is empty ;
hence not for b₁ being MapsSet of G,H holds b₁ is empty ; :: thesis: verum