La división por cero es un caso particular: la función "f" es "x" → "x" × 0, y el paso erróneo es comenzar con "x" × 0 = "y" × 0 y con ello concluir que "x" = "y".