Definition by cases
Write a function of type nat->bool which returns true
iff its argument is less than three.
We wrote this function as a multiple case analysis. It is easy to see
(by printing its definition) that this is an abbreviation of a nested