theorem Th883: :: NUMBER11:883

Sum (digits (1958,10)) = 23