theorem Th1327: :: NUMBER11:1327

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