Input (grade 7): Some of these propositions show that the golden ratio is an irrational number.
Output (grade 7): The golden ratio is an irrational number.