theorem Th1052: :: NUMBER11:1052
digits (504,10) = <%4,0,5%>