theorem Th689: :: NUMBER11:689

Sum (digits (3600,10)) = 9