On complexity of realisation of linear Boolean functions by circuits of functional elements over the basis $\{x\to y,\bar x\}$

We show that the minimal circuit of functional elements over the basis $\{x\to y,\bar x\}$ which realises a linear function of $n$ variables consists of $4n-4$ elements.