Prove completeness of expression/context splitting.