theorem Th6: :: WAYBEL34:6

for L being non empty RelStr holds [(id L),(id L)] is Galois