theorem Th551: :: NUMBER11:551
Sum (digits (2220,10)) = 6