1: \begin{proof}[Proof of Proposition \ref{P:heatsat}]

2: We proceed formally since, similarly to Theorem \ref{T:FTalpha}, for a rigorous proof we should verify the following steps in $\mathscr S'(\Rn)$, and not in the pointwise sense. The interested reader can easily provide the missing details. We notice that, in view of \eqref{fs} and \eqref{ans}, proving \eqref{fsss} is equivalent to showing 

3: \[

4: \int_0^\infty \mathscr F(G^{(s)})(x,t) dt = \hat E_s(x)= \frac{\G(\frac{n}2 -s)}{2^{2s} \pi^{\frac n2} \G(s)} \F(|\cdot|^{2s-n})(x).

5: \]

6: In light of \eqref{G} and Theorem \ref{T:FTalpha} (which we can apply with $\alpha = 2s$ since the hypothesis $0<s<1$ and $n\ge 2$ automatically guarantee that $0<\alpha <n$), this is in turn equivalent to showing that 

7: \[

8: \int_0^\infty e^{-t (2\pi |x|)^{2s}} dt = \pi^{\frac{n}{2}- 2s}

9: \frac{\Gamma\left(s\right)}{\Gamma\left(\frac{n-2s}{2}\right)} \frac{\G(\frac{n}2 -s)}{2^{2s} \pi^{\frac n2} \G(s)} (2\pi)^{2s} (2\pi |x|)^{-2s} = (2\pi |x|)^{-2s}.

10: \]

11: That the integral in the left-hand side is equal to the right-hand side of the above chain of equalities follows from a standard change of variable in the integral.

12: 

13: \end{proof}

14: