theorem Th1366: :: NUMBER11:1366

Sum (digits (4850,10)) = 17