That is not a tautology.<p>A tautology is &quot;a statement that is true by necessity or by virtue of its logical form.&quot;<p>That statement may be &quot;obvious&quot; but it is not a tautology.<p>&quot;More x are used when there are more x&quot; is not a tautology. It is often true, but it is not a logical necessity.