APPROVED
Jeremy J. Carroll
This entailment can be replicated for any three natural numbers
i
,
j
,
k
such that
i
+
j
>=
k
. In this example, they are chosen as 2, 3 and 5.