Then we have as a result: