theorem Th440: :: NUMBER11:440

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