Добавлена функция init_mem из состояния в начальную теорему о нулевом состоянии с условием