theorem Th418: :: NUMBER11:418

digits (900,10) = <%0,0,9%>