theorem Th147: :: NUMBER11:147

Sum (digits (98,10)) = 17