for x being number holds
( x in TriangularNumbers iff x is triangular )