Input (grade 10): For two thousand years, many attempts were made to prove the parallel postulate using Euclid's first four postulates.
Output (grade 11): This proved that Euclid's fifth postulate was independent of the other postulates. After this, mathematicians mostly stopped trying to prove the fifth postulate from the other four postulates.