theorem Th1189: :: NUMBER11:1189

digits (2225,10) = <%5,2,2,2%>