theorem Th422: :: NUMBER11:422

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