On even positive numbers
Write a function of type
positive->bool
which returns true iff its argument is a positive even number.
Solution
Look at
this file