theorem Th430: :: NUMBER11:430

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