theorem Th718: :: NUMBER11:718

digits (3900,10) = <%0,0,9,3%>