Category:Semigroup is Group Iff Latin Square Property Holds