theorem Th1117: :: NUMBER11:1117

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