If

Given that

13