Crocodile is longer

Prove that the crocodile is longer than it is wide.

Lemma 1. The crocodile is longer than it is green: Let's look at the crocodile. It is long on the top and on the bottom, but it is green only on the top. Therefore, the crocodile is longer than it is green.

Lemma 2. The crocodile is greener than it is wide: Let's look at the crocodile. It is green along its length and width, but it is wide only along its width. Therefore, the crocodile is greener than it is wide.

From Lemma 1 and Lemma 2 we conclude that the crocodile is longer than it is wide.