O lo que es equivalente: