theorem Th1203: :: NUMBER11:1203
digits (2450,10) = <%0,5,4,2%>