https://123dok.net/document/zlgxgo12-invariants-span-class-mathjax-formula-relations-équivalence-groupes.html