Given that...

* There are two cats
* Each one is to eat only a certain food
* Each cat should not eat the other cat's food

It should be proven that...

* Each cat will dislike the food they are supposed to have
* Each cat will only eat the other cat's food