Input (grade 7): Joseph Louis Lagrange proves Bachet's Conjecture.
Output (grade 7): Joseph Louis Lagrange proves Bachets Conjecture.