theorem Th158: :: NUMBER11:158
digits (224,10) = <%4,2,2%>