theorem Th450: :: NUMBER11:450

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