theorem Th903: :: NUMBER11:903

Sum (digits (2222,10)) = 8