theorem Th899: :: NUMBER11:899

Sum (digits (2156,10)) = 14