Thus, the existence of any nontrivial modules implies the existence of nontrivial modular partitions.
Таким образом, существование любых нетривиальных модулей влечёт за собой существование нетривиальных модульных разбиений.