fact proposition ratio of first n natural numbers is rational