theorem Th1305: :: NUMBER11:1305

digits (4100,10) = <%0,0,1,4%>