theorem Th213: :: NUMBER11:213

Sum (digits (400,10)) = 4