Добавлены теоремы RUN_ARM_AL_sys_thm, RUN_ARM_NV_sys_thm, OUT_ARM_AL_sys_thm, OUT_ARM_NV_sys_thm