In this paper a proff o Post's Coset Theorem is presented. The proof uses from Theory of $n$-groups, besides the definition of $n$-groups ([1], 1.1), the description of $n$-group as an algebra with the laws of the type $\langle n,n-1,n-1\rangle$ ([8], 1.2, 1.3)