An elementary semigroup theorem and a congruence relation of Rédei - Schwarz Štefan (Acta scientiarum mathematicarum, 1958)