theorem Th202: :: NUMBER11:202
digits (320,10) = <%0,2,3%>