:: deftheorem Def2 defines triangular NUMPOLY1:def 2 :
for n being object holds
( n is triangular iff ex k being Nat st n = Triangle k );