I've wondered why does an otherwise unremarkable movie have the most realistic depiction of an algebraic #proof. Seriously, it's so realistic that I've referred to it a couple of times to remind myself how this proof goes. Why does this dinky little movie have the most realistic fictional mathematician ever?
Huh, the Salamander lemma:
"If you don’t like diagram chases, it’s likely that you still won’t like them once you know the Salamander lemma. The salamanders chase the diagrams for you, but you still have to chase the salamanders. I think the salamander proofs are easier to explain (once you know the Salamander lemma), and it’s easier to see where you use the hypotheses. "
The titular salamander of the lemma, front and centre. They even drew little feet on it.