theorem Th1223: :: NUMBER11:1223

digits (2775,10) = <%5,7,7,2%>