Cтраница 4
Ассоциативность так определенного умножения проверяется без затруднений. [46]
H, то 9 ( 10) есть единица в Я. Даже ассоциативность умножения в Я следует из ассоциативности умножения в G, и ее можно не постулировать. [47]