Input (grade 8): It was not until 1882 that Ferdinand von Lindemann proved its transcendence.
Output (grade 8): In 1882, Ferdinand von Lindenmann proved that this is impossible.