theorem Th498: :: NUMBER11:498

digits (1700,10) = <%0,0,7,1%>