theorem Th539: :: NUMBER11:539

Sum (digits (2100,10)) = 3