theorem Th1309: :: NUMBER11:1309

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