Since they are maximal, every module not represented so far is contained in a child X {\displaystyle X} of V {\displaystyle V} .
Поскольку они максимальны, любой модуль, не представленный таким образом, содержится в потомке X {\displaystyle X} множества V {\displaystyle V} .