Summary: The subsidiary conditions (or called non-degeneracy conditions) are not one and only, that a theorem holds in differential geometry theorem proving. And the simpler they are, the better. For a given standard such as the smallest variables number or the lowest order derivation operations, etc, a constructive algorithm for computing the simplest subsidiary conditions is given by using Rosenfeld-Gröbner algorithm in differential geometry theorem proving in this paper.