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 t
...