Reincarnation theorem: Next proof step
Reincarnation theorem: Completed proof of the first lemma