Input (grade 7): In 1919, Ramanujan published a new proof of Bertrand's postulate which, as he says, was first proved by Chebyshev.
Output (grade 8): In 1919, Ramanujan published a new proof of Bertrand's postulate (which had already been proven by Pafnuty Chebyshev).