theorem Th269: :: NUMBER11:269

Sum (digits (18,10)) = 9