Список проголосовавших за комментарий "Русский, взаимно<br/> <br/> Я описал ту же самую процедуру, что и Вы, на самом деле.<br/> Проблема в том, что эта процедура не позволяет получить все возможные неправильные тетраэдры (выпадают варианты с 1 очень тупым и 2-мя очень острыми телесными углами).<br/> Можно ли это компенсировать симметриями — я ХЗ.<br/> В любом случае думаю, что с формальным доказательством придется сильно пое"№; ся (((<br/> <br/> С уважением"