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