theorem Th511: :: NUMBER11:511

Sum (digits (1820,10)) = 11