section_heading: Struktura skupa <math> S_n </math>
paragraph_text: Sada ćemo tvrdnju ovog naslućivanja i dokazati. Neka je <math> k \in \mathbb{N} </math> takav da <math> M(k, n) = 1. </math> Želimo pokazati da je tada nužno <math> M(n - k, n) = 1. </math> Pretpostavimo da je <math> M(n - k, n) = d > 1. </math> To bi značilo da <math> d|n, d | n - k. </math> Da bi izraz <math> n - k </math> bio djeljiv s <math> d </math> mora biti <math> d|k. </math> To povlači <math> d = 1, </math> što je i trebalo dokazati.