Add 2tnp1ge0ge0 to iset.mm
Add 2tnp1ge0ge0 to iset.mm

The theorem is stated as in set.mm. The proof is basically the same as
the set.mm one but with a few tweaks for not equal versus apart.

metamath/set.mm,metamath/set.mm,metamath/set.mm