theorem :: NUMPOLY1:43

for n, k being Nat st k <= n holds
Triangle k <= Triangle n