因明入正理論疏 3.123

3.123

述曰：下釋成，有二：初所立有、後能立無。此初也。初三句依指正釋，下兩句牒計顯成。聲、勝二論俱計極微常故，不遣所立。

The Commentary states: Next is the explanation of its establishment, which has two parts: first, the presence of the probandum; and second, the absence of the probans. This is the first. The first three phrases provide the correct explanation based on the example pointed out; the latter two phrases cite their doctrinal assertion to demonstrate its establishment. Because both the Śābda and Vaiśeṣika traditions assert that atoms are eternal, the probandum is not excluded.