Rectangular group congruences on eventually orthodox semigroup

• 毕竟纯整半群上的矩形群同余