theorem Th743: :: NUMBER11:743

digits (315,10) = <%5,1,3%>