theorem Th702: :: NUMBER11:702

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