-- returns if the first number is >= the second number
geq :: Nat -> Nat -> Bool
geq Z           Z  = True
geq (S Z)       Z  = True
geq (S(S Z))    Z  = True
geq Z           (S Z) = False
geq (S Z)       (S Z) = True
geq (S(S Z))    (S Z) = True
geq Z           (S(S Z)) = False
geq (S Z)       (S(S Z)) = False
geq (S(S Z))    (S(S Z)) = True