theorem Th552: :: NUMBER11:552
digits (2240,10) = <%0,4,2,2%>