theorem Th700: :: NUMBER11:700

digits (3720,10) = <%0,2,7,3%>