They probably knew enough to know that it wouldn't be a valid program, but it's the best compromise, being recognizable and still funny for the lay person. Any modification to it would make it distinctly less funny.
Because the theorem itself isn't funny. The context is. If the theorem was funny but not accurate, I'd be defending that too. The show is a comedy first and foremost.