https://123dok.net/document/z3d3kndd-isomorphisms-span-class-mathjax-formula-span-triple-systems.html