theorem Th404: :: NUMBER11:404
digits (740,10) = <%0,4,7%>