Добавлена функция next_state_mem из state теоремы одного состояния с условием в state теорему о следующем одном состоянии с условием (при необходимости объединённые по и две теоремы с разными условиями)