theorem Th649: :: NUMBER11:649

Sum (digits (3200,10)) = 5