I thought "lemma" was a name of, like, some dude who figured this out.
Also amusing: leaving Duderstadt tonight, I saw an undergrad wearing shorts. At 1 a.m. It's above freezing, sure, but barely. Put on some pants!
Ah, undergraduates.....
I thought "lemma" was a name of, like, some dude who figured this out.