What Did Ramanujan Prove