Text this: A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods