Or
On en déduit que: