Proof split up