O equivalentemente: