theorem Th962: :: NUMBER11:962

Sum (digits (598,10)) = 22