theorem Th933: :: NUMBER11:933
digits (161,10) = <%1,6,1%>