theorem Th639: :: NUMBER11:639

Sum (digits (3100,10)) = 4