theorem Th657: :: NUMBER11:657

Sum (digits (3280,10)) = 13