However, the WTF is from the Wikipedia article on the film: "Professor Andrew Wiles, who solved Fermat's Last Theorem, is represented as "Professor Wilkes" of Cambridge University in the film, and Fermat's Last Theorem is represented as "Bormat's Last Theorem".
WTF?????
EDIT: No, I think I am right and that Seldom's fake maths is wrong, but surely Martínez, having a Ph. D. in mathematical logic, would know that?!