theorem Th1310: :: NUMBER11:1310

Sum (digits (4150,10)) = 10