Fixed a snag with the proof of partition