Reincarnation theorem: Completed proof of the second lemma
Reincarnation theorem: Completed proof