theorem Th42: :: NUMBER11:42
digits (140,10) = <%0,4,1%>