Пересечение любых двух различных симплексов, каждый из которых подчинен 5, тоже является симплексом, подчиненным 5, ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Беккенбах Э.N.
Прикладная комбинаторная математика
Пересечение любых двух различных симплексов, каждый из которых подчинен 5, тоже является симплексом, подчиненным 5, а его размерность не превышает размерности любою из этих симплексов. При этом, если ни один из них не содержит другого, то размерность пересечения будет меньше размерности каждого из них, а если один симплекс содержит другой, то размерность содержащего симплекса не меньше, чем содержимого, и если оба они подчинены 5, то либо они совпадают, либо содержащий симплекс имеет большую размерность, чем содержимый. Все эти утверждения очевидны.