Reincarnation theorem: Second lemma, next proof steps