Split lemmas and proofs, stub proof by picture of Lemma 1 a little more.