theorem Th317: :: NUMBER11:317

digits (494,10) = <%4,9,4%>