If , then we also have: