theorem Th161: :: NUMBER11:161

Sum (digits (238,10)) = 13