theorem Th647: :: NUMBER11:647

Sum (digits (3180,10)) = 12