theorem Th687: :: NUMBER11:687

Sum (digits (3580,10)) = 16