theorem Th1370: :: NUMBER11:1370

Sum (digits (4900,10)) = 13