Finished splitting proof