theorem Th1131: :: NUMBER11:1131

digits (1225,10) = <%5,2,2,1%>