Oh my! You buried the lede: "In an effort to avoid naming everything after Euler, some discoveries and theorems are attributed to the first person to have pro

Oh my! You buried the lede: "In an effort to avoid naming everything after Euler, some discoveries and theorems are attributed to the first person to have proved them _after_ Euler."