theorem Th642: :: NUMBER11:642

digits (3140,10) = <%0,4,1,3%>