theorem Th395: :: NUMBER11:395

Sum (digits (640,10)) = 10