theorem Th499: :: NUMBER11:499

Sum (digits (1700,10)) = 8