theorem Th937: :: NUMBER11:937
digits (207,10) = <%7,0,2%>