Hazewinkel (1975), Rosen (1981) and Lubin (1981) gave other proofs.
Hazewinkel (1975), Rosen (1981), Lubin (1981) は別証明を与えた。