theorem Th967: :: NUMBER11:967
digits (667,10) = <%7,6,6%>