reconsider H = G as Subgroup of G by GROUP_2:54;
the carrier of H <> {(1_ G)} ;
hence not for b₁ being Subgroup of G holds b₁ is trivial ; :: thesis: verum