The section is divided as follows.
The proof makes use of the parafermionic observable introduced by Smirnov [1]}, we therefore start by recalling this notion.
Then, we prove each proposition in a separate section, in the order in which they are stated.
