theorem Th413: :: NUMBER11:413

Sum (digits (840,10)) = 12