theorem Th497: :: NUMBER11:497
Sum (digits (1680,10)) = 15