theorem Th798: :: NUMBER11:798

digits (946,10) = <%6,4,9%>