因明入正理論疏 3.17

3.17

論　此因如能成立眼等必為他用，如是亦能成立所立法差別相違積聚他用。

Treatise: Just as this reason can establish that the eyes and so forth are necessarily for the use of another, so too it can establish what is contradictory to the particular property of the property to be established: namely, use by a composite other.