To be fair there is a grain of truth to the joke. E.g. Cayley’s theorem is sort of like that — once you get it, it feels like it barely qualifies as a theorem,

To be fair there is a grain of truth to the joke. E.g. Cayley’s theorem is sort of like that — once you get it, it feels like it barely qualifies as a theorem, it’s just a natural consequence of the definitions involved.