Проверил док-во про взаимоограниченность<=>эквивалетность норм (с небольшим исправлением). Убрал плашку.
21:43
-248