theorem Th1325: :: NUMBER11:1325

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