theorem Th1364: :: NUMBER11:1364

Sum (digits (4825,10)) = 19