1: \begin{proof}

2: We prove \eqref{cylinder_2} and deduce \eqref{cylinder_1} by choosing $T_n$ to have cardinality $1$ with $\beta = 1$. 

3: We denote by $\R^{\N}$ the space of real sequences, with the product $\sigma$-field. 

4: The set of couples $(n,m)$ with $n\in S$ and $m\in T_n$ is denoted by $A$.

5: By definition of the cylindrical $\sigma$-field, for fixed $\boldsymbol{\varphi}= (\varphi_{n,m})_{(n,m)\in A}$, the projection 

6: \begin{equation}

7: 	\pi_{\boldsymbol{\varphi}} (f) 

8: 	= 

9: 	\parenth{\innprod{f}{\varphi_{n,m}}}_{(n,m)\in A}

10: \end{equation}

11: is measurable from $E'$ to $\R^\N$. 

12: (Rigorously, this projection is from $E'$ to $\R^A$, but $A$ being countable, we admit this slight abuse of notation.)

13: Moreover, the function $F_{\alpha,\beta}$ from $\R^\N$ to $\R^+ \cup \{\infty\}$ that associates to a sequence $(a_{n,m})_{(n,m)\in A}$ the quantity $\sum_{n\in \N} \left( \sum_{m\in T_n} |a_{n,m}|^\alpha \right)^\beta$ is measurable. 

14: Finally,  since $\R^+$ is measurable in $\R^+ \cup \{\infty\}$,

15: \begin{equation}

16: 	\setb{ f \in E' }{ \sum_{n\in \N} \parenth{ \sum_{m\in T_n} \abs{\innprod{f}{\varphi_{n,m}}}^\alpha }^\beta <\infty }

17: 	= 

18: 	\pi_{\boldsymbol{\varphi}}^{-1} \parenth{F_{\alpha,\beta}^{-1} (\R^+)}

19: \end{equation}

20:  is measurable in $E'$. 

21: \end{proof}

22: