theorem Th502: :: NUMBER11:502
digits (1740,10) = <%0,4,7,1%>