Добавлены теоремы NEXT_ARM_SYS_AL_thm, NEXT_ARM_SYS_NV_thm