theorem Th602: :: NUMBER11:602
digits (2740,10) = <%0,4,7,2%>