theorem Th698: :: NUMBER11:698

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