theorem Th651: :: NUMBER11:651

Sum (digits (3220,10)) = 7