The is a typo in your post. It must be

Consider a partition of and a partition of .

Then is a partition of

On the other hand, if a partition of does not contain as a division point then simply add as a division point . Now you have two partitions, one of and one of .

That is an outline if anif and only ifproof.