\[
  U_Z = q^{-1}(V') \longleftarrow V' \cap Z' .
\]

\[
  \mathbb{E}^n = \mathbb{E}^n_{\mathbb{F}_p} \xrightarrow{\ \varphi_n\ } X_n
\]

\[
  a = (a_0, \dots, a_{n-1}) \longmapsto \operatorname{Ker}(f_a)
\]

\[
  f_a : \mathbb{G}_a \longrightarrow \mathbb{G}_a, \qquad
  f_a(x) = x^{p^n} + a_{n-1}x^{p^{n-1}} + \dots + a_1 x^p + a_0 x .
\]

\[
  H = \alpha_p^r \times (\mathbb{Z}/p)^s_k, \qquad r+s = n .
\]

\[
  \alpha = (\alpha_0, \dots, \alpha_{s-1}), \qquad
  f_\alpha(x) = x^{p^s} + \alpha_{s-1}x^{p^{s-1}} + \dots + \alpha_1 x^{p} + \alpha_0 x .
\]

\[
  f : \mathbb{G}_a \longrightarrow \mathbb{G}_a, \qquad f = f_\alpha \circ \mathrm{Frob}^r
\]

\[
  f(x) = x^{p^{r+s}} + \alpha_{s-1} x^{p^{r+s-1}} + \dots + \alpha_0 x^{p^r}
\]

\[
  \operatorname{Ker} f = f_\alpha^{-1}(\alpha_{p^r}) \supset H(k)_k \cdot \alpha_{p^r}
\]

\[
  u(x) = \bigl(x + c_1 x^{p} + c_2 x^{p^2} + \dots + c_N x^{p^N}\bigr), \qquad c_i \in J
\]

\begin{align}
  u \circ f_a(x) &= c_0\bigl(x^{p^n} + a_{n-1}x^{p^{n-1}} + a_{n-2}x^{p^{n-2}} + \dots + a_1 x^p + a_0 x\bigr) \notag \\
   &\quad {} + c_1\bigl(x^{p^{n+1}} + a_{n-1}^{p} x^{p^{n}} + \dots + a_0^{p} x^{p}\bigr) \notag \\
   &\quad {} + c_2\bigl(x^{p^{n+2}} + a_{n-1}^{p^2} x^{p^{n+1}} + \dots + a_0^{p^2} x^{p^2}\bigr) \notag \\
   &\quad \dots \notag \\
   &\quad {} + c_N\bigl(x^{p^{n+N}} + a_{n-1}^{p^N} x^{p^{n+N-1}} + \dots + a_0^{p^N} x^{p^N}\bigr) \notag
\end{align}

\[
  f(x) = \pi^\nu x^{p^n} + b_{n-1}x^{p^{n-1}} + \dots + b_1 x^p + b_0 x
\]

\[
  f : \mathbb{G}_{a,S} \longrightarrow \mathbb{G}_{a,S}
\]

\[
  H_\eta = \operatorname{Ker} f_\eta .
\]

\[
  \mathbb{E}^* \times \mathbb{E}^{n-1} \xrightarrow{\ \sim\ } X_n^{\text{ét}} .
\]

\[
  \begin{array}{lll}
    H \subset G & H_0 \subset G_0 \to K_0 \simeq G_0/H_0 & \\
    G_0 & \overline{H_0} \subset G & \overline{K_0} \simeq G/\overline{H_0} \simeq \overline{G_0}/\overline{H_0}
  \end{array}
\]

\[
  K = G/H \longrightarrow \text{une part.\ de } K_0 = G_0/H_0
\]

\[
  u : H_0 \longrightarrow J K_0 .
\]

\[
  : \quad \operatorname{Hom}_{\mathbb{F}_p}(H_0, J K_0) .
\]

\[
  \exists\,! \ \ a = (a_0, \dots, a_{n-1}) \in \mathbb{E}^n(S) = \Gamma(S, \mathcal{O})^n
\]

\[
  H = \operatorname{Ker} f_a
\]

\[
  f_a : \mathbb{G}_{a,S} \to \mathbb{G}_{a,S}, \qquad
  f_a(x) = x^{p^n} + a_{n-1}x^{p^{n-1}} + \dots + a_0 x .
\]

\[
  Q_n = \mathbb{E}^n/\Gamma_n = \operatorname{Spec}(A_n), \qquad
  A_n = \mathbb{F}_p[X_1, \dots, X_n]^{\Gamma_n} .
\]

\begin{align*}
  \det\begin{pmatrix}
    X_1 & \cdots & X_n \\
    X_1^{p} & \cdots & X_n^{p} \\
    \vdots & & \vdots \\
    X_1^{p^{n-1}} & \cdots & X_n^{p^{n-1}}
  \end{pmatrix}
  &= \prod_{(\alpha_1, \dots, \alpha_{n-1}) \in \mathbb{F}_p^{n-1}}\Bigl(X_n + \sum_1^{n-1}\alpha_i X_i\Bigr) \\
  &\qquad \prod_{(\alpha_1, \dots, \alpha_{n-2}) \in \mathbb{F}_p^{n-2}}\Bigl(X_{n-1} + \sum_1^{n-2}\alpha_i X_i\Bigr)\cdots
\end{align*}

\[
  \cdots \Bigl(\prod_{\alpha_1 \in \mathbb{F}_p}(X_2 + \alpha_1 X_1)\Bigr) X_1
  \;=\; \prod_{0 \leqslant j \leqslant n-1}\ \prod_{\alpha \in k^j}\Bigl(X_{j+1} + \sum_{i=1}^{j}\alpha_i X_i\Bigr)
\]

\[
  1 + p + \dots + p^{n-1} = \frac{p^n - 1}{p-1} = \operatorname{card} \mathbb{P}^n(\mathbb{F}_p)
\]

\[
  (*) \qquad \xi_i^{p^n} + a_{n-1}\xi_i^{p^{n-1}} + \dots + a_1 \xi_i^{p} + a_0 \xi_i = 0
\]

\[
  f_a(\xi_i) = 0, \qquad 1 \leqslant i \leqslant n .
\]

\[
  a_0 = \frac{1}{\Delta_n(\xi)}\det\begin{pmatrix}
    \xi_1^{p^n} & \cdots & \xi_n^{p^n} \\
    \xi_1^{p} & \cdots & \xi_n^{p} \\
    \vdots & & \vdots \\
    \xi_1^{p^{n-1}} & \cdots & \xi_n^{p^{n-1}}
  \end{pmatrix}
  = \frac{\Delta_0(\xi)}{\Delta_n(\xi)}
\]

\[
  a_i = \frac{1}{\Delta_n(\xi)}\det\begin{pmatrix}
    \xi_1 & \cdots & \xi_n \\
    \vdots & & \vdots \\
    \xi_1^{p^{i-1}} & \cdots & \xi_n^{p^{i-1}} \\
    \xi_1^{p^{n}} & \cdots & \xi_n^{p^{n}} \\
    \xi_1^{p^{i+1}} & \cdots & \xi_n^{p^{i+1}} \\
    \vdots & & \vdots \\
    \xi_1^{p^{n-1}} & \cdots & \xi_n^{p^{n-1}}
  \end{pmatrix}
  = \frac{\Delta_i(\xi)}{\Delta_n(\xi)}
\]

\[
  a_{n-1} = \frac{1}{\Delta_n(\xi)}\det\begin{pmatrix}
    \xi_1 & \cdots & \xi_n \\
    \vdots & & \vdots \\
    \xi_1^{p^{n-2}} & \cdots & \xi_n^{p^{n-2}} \\
    \xi_1^{p^{n}} & \cdots & \xi_n^{p^{n}}
  \end{pmatrix}
  = \frac{\Delta_{n-1}(\xi)}{\Delta_n(\xi)}
\]

\[
  \Delta_n X_i^{p^n} + \Delta_{n-1} X_i^{p^{n-1}} + \dots + \Delta_1 X_i^{p} + \Delta_0 X_i = 0
  \qquad (1 \leqslant i \leqslant n) .
\]

\[
  \Delta_i = A_i \Delta_n \qquad 0 \leqslant i \leqslant n-1
\]

\[
  \Delta_0 = \pm\,\Delta_n^{p}\,(-1)^n
\]

\[
  X_i^{p^n} + A_{n-1}X_i^{p^{n-1}} + \dots + A_1 X_i^{p} + A_0 X_i = 0
  \qquad (1 \leqslant i \leqslant n)
\]

\[
  \mathbb{E}^n \xrightarrow{\ A_*\ } \mathbb{E}^n
\]

\[
  U_n \ \bigl(= \mathbb{E}^n_{\Delta_n}\bigr) = A_*^{-1}\bigl(\mathbb{E}^* \times \mathbb{E}^{n-1}\bigr)
\]

\[
  \varphi_n^{-1}\bigl(\underbrace{\mathbb{E}^* \times \mathbb{E}^{n-1}}_{(a_0, \dots, a_{n-1}) \text{ tels que } a_0 \text{ inv.}}\bigr) = Q_n^0
\]

\[
  Q_n^0 \xrightarrow{\ \sim\ } \mathbb{E}^* \times \mathbb{E}^{n-1} .
\]

\[
  Q_n^0 \longleftarrow \mathbb{E}^* \times \mathbb{E}^{n-1} \subset \mathbb{E}^n
\]

\[
  f_a \longleftarrow a
\]

\[
  \mathbb{F}_p[X_1, \dots, X_n]^{\Gamma_n} \simeq \mathbb{F}_p[A_0, \dots, A_{n-1}] .
\]

\[
  k^n \xrightarrow{\ A_*\ } k^n
\]

\[
  \begin{cases}
    A_0(X_1, \dots, X_{n-1}, 0) = 0 \\
    A_i(X_1, \dots, X_{n-1}, 0) = A_{i-1}(X_1, \dots, X_{n-1})
  \end{cases}
  \qquad \text{pour } 1 \leqslant i \leqslant n
\]

\[
  A_\alpha\bigl[X_1, \dots, X_{n-s}, \underbrace{0, \dots, 0}_{s}\bigr] =
  \begin{cases}
    0 & \text{si } 0 \leqslant \alpha < s \\
    A_{\alpha - s}(X_1, \dots, X_{n-s}) & \text{si } s \leqslant \alpha \leqslant n
  \end{cases}
\]

\[
  \Delta_n(u \cdot X) = (\det u)\,\Delta_n(X) \qquad ]
\]

\[
  \mathbb{F}_p[X_1, \dots, X_n]^{S\Gamma_n} = \mathbb{F}_p[A_1, \dots, A_{n-1}, \Delta_n]
\]

\[
  E'^{(p)} \xrightarrow[\ \sim\ ]{\ u\ } E .
\]

\[
  \xi^{(p)} \overset{\text{df}}{=} u\bigl(\xi^{(F)}\bigr)
\]

\[
  \xi \wedge \xi^{(p)} \wedge \dots \wedge \xi^{(p^{n-1})} \in \Gamma\bigl(\overset{n}{\Lambda}\check{E}\bigr) .
\]

\[
  \Delta^E_n : \check{E} \longrightarrow \overset{n}{\Lambda}\check{E}
\]

\[
  \Delta^E_n : V(E) \longrightarrow V\bigl(\overset{n}{\Lambda}E\bigr)
\]

\[
  \xi^{(p^n)} + A_{n-1}(\xi)\,\xi^{(p^{n-1})} + \dots + A_0(\xi)\,\xi = 0
\]

\[
  A^E_i \in \Gamma\bigl(V(E)^0, \mathcal{O}_{V(E)^0}\bigr)
  \quad \text{i.e.} \quad A^E_i : V(E)^0 \longrightarrow \mathbb{G}_{a,S}
\]

\[
  \underline{\operatorname{Sym}}^\bullet(E)_{\Delta^E_n} .
\]

\[
  A^E_0 = \bigl(\Delta^E_n\bigr)^{p-1}\,(\pm 1)
\]

\[
  e_0^{(p)} = e_1, \quad e_1^{(p)} = e_2, \quad \dots, \quad e_{n-2}^{(p)} = e_{n-1}, \quad \text{et}
\]

\[
  e_{n-1}^{(p)} = -\Bigl(\underbrace{A_0(\xi)}_{a_0}\,e_0 + \dots + \underbrace{A_{n-1}(\xi)}_{a_{n-1}}\,e_{n-1}\Bigr)
\]

\[
  \begin{pmatrix}
    0 & 0 & \cdots & 0 & -a_0 \\
    1 & 0 & \cdots & 0 & -a_1 \\
    0 & 1 & & \vdots & \vdots \\
    \vdots & & \ddots & 0 & \\
    0 & 0 & \cdots & 1 & -a_{n-1}
  \end{pmatrix}
\]

\[
  H \subset \mathbb{G}_{a,X} = \operatorname{Ker}\Bigl(\mathbb{G}_{a,X}
  \xrightarrow{\ x^{p^n} + a_{n-1}x^{p^{n-1}} + \dots + a_0 x\ } \mathbb{G}_{a,X}\Bigr)
\]

\[
  H' \subset \mathbb{G}_{a,X'}, \qquad H'_a = H'_b, \qquad c_i(a) = c_i(b)
\]

\[
  \cdot \longrightarrow H \longrightarrow \mathbb{G}_{a,X} \longrightarrow \mathbb{G}_{a,X} \longrightarrow \cdot
\]

\[
  (\operatorname{Ker}\varphi')_{y'} = (\operatorname{Ker}\varphi)_y = N'_y,
  \qquad \overline{N_y} = N'
\]

\[
  N' \subset H', \qquad \hat{N'} \simeq \hat{H'} \quad\text{i.e.}\quad
  \mathbb{G}_{a,X'}/N' \longrightarrow \mathbb{G}_{a,X'} \ \ \text{ét.}
\]

\[
  N' \subset H' \subset \mathbb{G}_{a,X'}
\]

\[
  H'(a) = H'(b), \qquad N'(a) \neq N'(b)
\]

\[
  \hat{N'} \simeq \hat{H'} \quad\text{i.e.}\quad
  \mathbb{G}_{a,X'}/N' \longrightarrow \mathbb{G}_{a,X'}/H' \ \ \text{ét.}
\]

\[
  \cdot \to N' \to \mathbb{G}_{a,X'} \xrightarrow{\ f_{\alpha'}\ } \mathbb{G}_{a,X'} \to \cdot
  \qquad \xrightarrow{\ u_\lambda\ } \mathbb{G}_{a,X}
\]

\[
  \cdot \to K' \to \mathbb{G}_{a,X'} \xrightarrow{\ f_{\beta'}\ } \mathbb{G}_{a,X'} \to \cdot
\]

\[
  u_{\lambda'} f_{\alpha'} = \lambda' f_{\alpha'}
\]

\[
  X^{p^n} + A_1(X_1, \dots, X_n)\,X^{p^{n-1}} + A_2(X_1, \dots, X_n)\,X^{p^{n-2}}
  + \dots + A_{n-1}(X_1, \dots, X_n)\,X
\]

\[
  X_1 e_1 + \dots + X_n e_n, \qquad X_1^{p} e_1, \ \dots, \qquad X_1^{p^{n-1}} e_1, \ \dots
\]

\[
  X_1^{p^n} + a_1 X_1^{p^{n-1}} + a_2 X_1^{p^{n-2}} + \dots + a_n X_1 = 0
\]

\[
  f^{p^n} + a_1 f^{p^{n-1}} + \dots + a_{n-1} f^{p} + a_n f = 0
\]

\[
  f, \ f^{p}, \ \dots, \ f^{p^{n-1}} \qquad\text{en regard de}\qquad e_1, \ e_2, \ \dots, \ e_n
\]

\[
  e_1^{(p)} = e_2, \quad e_2^{(p)} = e_3, \quad \dots, \quad e_{n-1}^{(p)} = e_n,
  \quad e_n^{(p)} = -\bigl(a_1 e_n + a_2 e_{n-1} + \dots + a_n e_1\bigr)
\]

\[
  M \ \text{loc.\ lib.\ t.f.}, \qquad M^{(p)} \xrightarrow{\ \sim\ } M, \qquad
  M \longrightarrow 0
\]

\[
  e_1, \dots, e_n \ ; \qquad e_i \longmapsto \sum_j \lambda_{ij} e_j
\]

\[
  M \longrightarrow M^{(p)} \longrightarrow M
\]

\[
  \bigl(f^{p-1} - g^{p-1}\bigr) X^{p^2} - \bigl(f^{p^2} - g^{p^2}\bigr) X^{p}
  + \bigl(f^{p^2} g^{p-1} - g^{p^2} f^{p-1}\bigr) X
\]

\[
  \begin{cases}
    f^{p^3} + a f^{p^2} + b f^{p} + c f = 0 \\
    g^{p^3} + a g^{p^2} + b g^{p} + c g = 0 \\
    h^{p^3} + a h^{p^2} + b h^{p} + c h = 0
  \end{cases}
\]

\[
  \det\begin{pmatrix}
    X_1^{p^{n-1}} & \cdots & X_1^{p} & X_1 \\
    \vdots & & \vdots & \vdots \\
    X_n^{p^{n-1}} & \cdots & X_n^{p} & X_n
  \end{pmatrix}
\]

\[
  \prod_{\mathbb{P}^n(\mathbb{F}_p)} \bigl(\lambda_1 X_1 + \dots + \lambda_n X_n\bigr),
  \qquad (\lambda_1, \dots, \lambda_n)
\]

\[
  \prod_{i=1}^{n} \Biggl(\ \prod_{\lambda \in \mathbb{F}_p^{n-i}}
  \bigl(X_i + \lambda_1 X_{i+1} + \dots + \lambda_{n-i} X_n\bigr)\Biggr)
\]

\[
  X^{p^2} Y^{p} - Y^{p^2} X^{p}, \qquad X^{p^2} Y - Y^{p^2} X
\]

\[
  \frac{\bigl(X^{p}Y - Y^{p}X\bigr)^{p}}{X^{p}Y - Y^{p}X} = \bigl(X^{p}Y - Y^{p}X\bigr)^{p-1}
\]

\[
  \left(\frac{X}{Y}\right)^{p^2} = \frac{X}{Y}
\]

\[
  X^{p^{2}} + aX^{p} + bX
\]

\begin{align*}
  \alpha^{p^{2}} + a\alpha^{p} + b\alpha &= 0\\
  \beta^{p^{2}} + a\beta^{p} + b\beta &= 0
\end{align*}

\[
  a\bigl(\alpha^{p}\beta - \beta^{p}\alpha\bigr)
  = -\bigl(\alpha^{p^{2}}\beta - \beta^{p^{2}}\alpha\bigr)
\]

\[
  a = \frac{\alpha^{p^{2}}\beta - \beta^{p^{2}}\alpha}
           {\alpha^{p}\beta - \beta^{p}\alpha}
  \qquad
  b = \frac{\alpha^{p^{2}}\beta^{p} - \beta^{p^{2}}\alpha^{p}}
           {\alpha^{p}\beta^{\struck{p}} - \beta^{p}\alpha^{\struck{p}}}
\]

\[
  a\bigl(\alpha^{p} - \beta^{p}\bigr)
  = -\bigl(\alpha^{p^{2}} - \beta^{p^{2}}\bigr)
\]

\begin{align*}
  a &= -(\alpha-\beta)^{p^{2}-p}\\
  b &= -\alpha^{p^{2}} + \alpha^{p}(\alpha-\beta)^{p^{2}-p}
\end{align*}

\begin{align*}
  (\alpha-\beta)^{p}\,b
   &= -\struck{\alpha^{p^{2}+p}} + \beta^{p}\alpha^{p^{2}}
      + \struck{\alpha^{p^{2}+p}} - \alpha^{p}\beta^{p^{2}}\\
   &= \alpha^{p}\beta^{p}\bigl(\alpha^{p^{2}-p} - \beta^{p^{2}-p}\bigr)
\end{align*}

\[
  b = \Bigl(\frac{\alpha\beta}{\alpha-\beta}\Bigr)^{p}
      \bigl(\alpha^{p^{2}-p} - \beta^{p^{2}-p}\bigr)
\]

\[
  (\alpha-\beta)^{p}X^{p^{2}} \;\ill{}\;
  (\alpha-\beta)^{p^{2}}X^{p}
  + (\alpha\beta)^{p}\bigl(\alpha^{p^{2}-p} - \beta^{p^{2}-p}\bigr)
\]

\[
  (\alpha^{p}-\beta^{p})X^{p^{2}}
  - (\alpha^{p^{2}}-\beta^{p^{2}})X^{p}
  + \alpha^{p}\beta^{p}\bigl(\alpha^{p^{2}-p} - \beta^{p^{2}-p}\bigr)
\]

\[
  \lambda(f^{p}-g^{p})
  \qquad
  -\lambda(f^{p^{2}}-g^{p^{2}})
  \qquad
  \lambda(f^{p^{2}}g^{p} - g^{p^{2}}f^{p})
\]

\[
  \begin{array}{ccc}
    0-\beta^{p} & 0-\beta^{p^{2}} & 0\\
    \alpha^{p}-0 & \alpha^{p^{2}}-\ill{} & 0
  \end{array}
\]

\[
  \alpha^{p} + \beta^{p} = 0
\]

\[
  X \longmapsto \lambda(f^{p}-g^{p})X^{p^{2}}
  - \lambda(f^{p^{2}}-g^{p^{2}})X^{p}
  + \lambda(f^{p^{2}}g^{p} - g^{p^{2}}f^{p})X
\]

\[
  (f^{p}g - g^{p}f)X^{p^{2}}
  - (f^{p^{2}}g - g^{p^{2}}f)X^{p}
  + (f^{p^{2}}g^{p} - g^{p^{2}}f^{p})X
\]

\[
  f \qquad g
\]

\begin{align*}
  f(a) &= 0 & g(a) &= 1\\
  f(b) &= 1 & g(b) &= 0
\end{align*}

\[
  \mathbb{G}_{a} \supset H_{f}
  \qquad
  \mathbb{G}_{a} \supset H_{g}
\]

\[
  H = H_{f} \times H_{g} \hookrightarrow \mathbb{G}_{a}
\]

\[
  H_{a} \simeq \alpha_{p} \times \mathbb{Z}/p \simeq K \hookrightarrow \mathbb{G}_{a}
\]

\[
  H_{b} \simeq \mathbb{Z}/p \times \alpha_{p} \simeq K \hookrightarrow \mathbb{G}_{a}
\]

\[
  H' \subset \mathbb{G}_{a}
\]

\[
  H_{a} \simeq H_{b} \;:\; \alpha_{p} \times \mathbb{F}_{p}\alpha \times \mathbb{F}_{p}
\]

\[
  r\bigl(\lambda^{p} - f^{p-1}\lambda\bigr)^{p}
  - r^{p}\bigl(\lambda^{p} - f^{p-1}\lambda\bigr)
\]

\[
  \Bigl(\frac{\lambda}{f}\Bigr)^{p} - \frac{\lambda}{f}
  \qquad\qquad
  \lambda^{p} - f^{p-1}\lambda
\]

\[
  r\lambda^{p^{2}} - f^{p(p-1)}\lambda^{p}
\]

\[
  r = \Bigl(\frac{g}{f}\Bigr)^{p} - f^{p-1}g
\]

\[
  \left(
    \frac{\bigl(\frac{\lambda}{f}\bigr)^{p} - \frac{\lambda}{f}}{r}
  \right)^{\uncertain{\nu}}
  = (\quad)
\]

\[
  a \qquad b
\]

\[
  H \subset \mathbb{G}_{a},
  \qquad
  H = H_{1} \times H_{2} \times K
\]

\[
  H_{1a} \simeq H_{2b} \simeq \alpha_{p}
\]

\begin{align*}
  f(a) &= 0 & g(b) &= 0\\
  f(b) &= \alpha & g(a) &= \beta
\end{align*}

\[
  \alpha_{p} + \mathbb{F}_{p}\alpha + \mathbb{F}_{p}\beta
\]

\[
  H' \subset \mathbb{G}_{a,X'}
\]

\[
  i_{a}(H'_{a}) = i_{b}(H'_{b})
  = \alpha_{p} + \mathbb{F}_{p}\alpha + \mathbb{F}_{p}\beta \subset \mathbb{G}_{a}
\]

\[
  H \subset \mathbb{G}_{a,X}
\]

\[
  i_{a}(H_{a}) = \alpha_{p} + \mathbb{F}_{p}\alpha + \mathbb{F}_{p}\beta
\]

\[
  \mathbb{G}_{a}
\]

\[
  h(a),\ h(b) \in \mathbb{F}_{p}\alpha + \mathbb{F}_{p}\beta
\]

\begin{align*}
  h(a) &\notin \mathbb{F}_{p}\beta & \text{p.\ ex.\ } h(a) &= \alpha\\
  h(b) &\notin \mathbb{F}_{p}\alpha & h(b) &= \beta
\end{align*}

\[
  \mathbb{G}_{a,X'} / H_{1} \times H_{2}
\]

\[
  \lambda \longmapsto
  \Bigl(\frac{\lambda}{f}\Bigr)^{p} - \Bigl(\frac{\lambda}{f}\Bigr)
\]