Исправление quasimoto, 13.03.14 13:16 (текущая версия) :
LC протеворечиво, это доказано
4.2, доказано как раз обратное.
Исходная версия quasimoto, 13.03.14 13:14:
4.2.