Recall that
So we have
So either .
Since , we expect , so we take the negative square root. Then
This then means we have