U_n= \{ k \in\{ 1, \ldots ,n-1 \} :M(k,n)=1 \}