Using the above formula to substitute for , we get: