Correct. Since , we know that , so . This can be rewritten as , and then as .