theorem Th1301: :: NUMBER11:1301

digits (4050,10) = <%0,5,0,4%>