theorem Th1373: :: NUMBER11:1373

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