theorem Th34: :: NUMBER11:34
digits (100,10) = <%0,0,1%>