theorem Th942: :: NUMBER11:942

Sum (digits (253,10)) = 10