theorem Th518: :: NUMBER11:518

digits (1900,10) = <%0,0,9,1%>