Para un número no nulo, la función «división por ese número» es el recíproco de «multiplicación por ese número».