theorem Th400: :: NUMBER11:400

digits (700,10) = <%0,0,7%>