A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods (Logical Methods in Computer Science, 2022)