Reincarnation theorem: Second lemma, first proof steps