Добавлена функция next_mem из state теоремы одного состояния с условием и next теоремы этого же одного состояния с условием в state теорему о следующем одном состоянии с условием