theorem Th965: :: NUMBER11:965
digits (644,10) = <%4,4,6%>