Description: Lemma 1 for sgrp2nmnd : M is a magma, even if A = B ( M is the trivial magma in this case, see mgmb1mgm1 ). (Contributed by AV, 29-Jan-2020)