Example from the Appel.
Example fixed with SUB and DIV operator, just to make it more complete.