theorem Th1093: :: NUMBER11:1093

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