sāmānyena tu pārārthyaṃ yadyeṣāṃ samprasādhyate / tathāpi sādhanaṃ vyarthaṃ siddhāścittopayoginaḥ //
If, however, what is meant to be proved is merely their being helpful to "another" in general, even then the proof is superfluous, as [they are] already established as being useful to the mind.