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 200, 300 and 500.