theorem Th963: :: NUMBER11:963
digits (621,10) = <%1,2,6%>