https://123dok.net/document/q0570rxg-si-est-pas-congru-modulo-alors-cyclique-isomorphe.html