theorem Th641: :: NUMBER11:641

Sum (digits (3120,10)) = 6