theorem Th780: :: NUMBER11:780

digits (704,10) = <%4,0,7%>