theorem Th188: :: NUMBER11:188
digits (144,10) = <%4,4,1%>