theorem Th549: :: NUMBER11:549

Sum (digits (2200,10)) = 4