El resultado principal de este razonamiento es: