theorem Th1103: :: NUMBER11:1103

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