Proof of Dobbs: i-4_B