https://123dok.net/document/zlglxx02-factorization-of-cartesian-product-of-hypergraphs.html