Добавлены теоремы OUT_ARM_AL_thm, OUT_ARM_NV_thm