theorem Th238: :: NUMBER11:238

Sum (digits (153,10)) = 9