[26N]Prerequisiti:[24Z]↺↻,[24S]↺↻,[257]↺↻.
\(∀ n,k∈ℕ\) se \(n∈ k\) allora \(Sn⊆ k\).
(Sugg: si può dimostrare senza induzione, usate il fatto che ciascun \(n∈ℕ\) è un insieme transitivo).