theorem Th630: :: NUMBER11:630

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