theorem Th363: :: NUMBER11:363
Sum (digits (220,10)) = 4