https://9pdf.info/document/zx5n6kl4-congruence-modularity-implies-cyclic-terms-for-finite-algebras.html