theorem Th470: :: NUMBER11:470

digits (1420,10) = <%0,2,4,1%>