Why does fa- appear before huwa laka ḥatman?

Arabic Syntax Practicum — Parsing Passages from Ten Maqāmāt

To put a noun in the genitive
To remove the subject
As a vocative particle
To link a nominal conditional consequence