theorem Th784: :: NUMBER11:784

digits (748,10) = <%8,4,7%>