"Any effect, constant, theorem or equation named after……" — John C. Baez
"Any effect, constant, theorem or equation named after Professor X was first discovered by Professor Y , for some value of Y not equal to X."
"Any effect, constant, theorem or equation named after Professor X was first discovered by Professor Y , for some value of Y not equal to X."