theorem Th361: :: NUMBER11:361
Sum (digits (200,10)) = 2