theorem Th9: :: CAYLEY:9

SymGroup {} = Trivial-multMagma