theorem Th1335: :: NUMBER11:1335

digits (4475,10) = <%5,7,4,4%>