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