theorem Th79: :: NUMBER11:79
digits (154,10) = <%4,5,1%>