theorem ThA: :: ABSRED_0:161

for S being non empty non-empty UAStr st S is Group-like holds
( 1 is OperSymbol of S & 2 is OperSymbol of S & 3 is OperSymbol of S )