Hay ejemplos de teoremas que posteriormente se encontró que implica su propia generalización?
He aquí un ejemplo de lo que quiero decir: Hipotéticamente, supongamos que resultó de Fermat Poco Teorema: $a^p \equiv a \pmod{p}$ $a \in \mathbb{Z}$, $p$ prime. Supongamos que, posteriormente, fueron capaces de demostrar el Teorema de Euler: $a^{\phi(n)} \equiv 1 \pmod{n}$ el uso de Fermat Poco Teorema y tal vez algunos otros resultados. Esto no puede ser posible, los estoy usando como un ejemplo.
Estoy buscando un ejemplo.