In particular, we can now cleanly define the subtraction, multiplication and comparison predicate of natural numbers recursively.
Posebice, sad se može čisto definirati oduzimanje, množenje i predikat usporedbe prirodnih brojeva na rekurzivan način.