Yes. The joke the original commenter is playing is that Fermat's `x³ + y³ = z³` is equivalent to `x³ + y³ + (-z)³ = 0`.