theorem Th339: :: NUMBER11:339

digits (703,10) = <%3,0,7%>