Добавлены определения NEXT_ARM_MEM_AL_def, NEXT_ARM_MEM_NV_def и теоремы NEXT_ARM_MEM_AL, NEXT_ARM_MEM_NV, NEXT_ARM_MEM_AL_thm, NEXT_ARM_MEM_NV_thm