…or at least, they seem to. A bit of extra-nerdy injected into a few seconds of the 1995 Halloween episode. Extra-relevant to me because I spent last semester bouncing proofs off that very theorem.