Detecting unnecessary reductions in an involutive basis computation

We show that the application of criteria enforces the termination of the involutive basis algorithm independent of the prolongation selection strategy.