theorem Th907: :: NUMBER11:907

Sum (digits (2266,10)) = 16