theorem Th919: :: NUMBER11:919

Sum (digits (2398,10)) = 22