theorem Th543: :: NUMBER11:543

Sum (digits (2140,10)) = 7