theorem Th222: :: NUMBER11:222

Sum (digits (17,10)) = 8