苦諦事理別證，然所證如四諦無別，何不苦諦事理別證，然所證如四諦無別，何不即名證於滅諦？以於滅諦事理兩證，未別即名證於滅諦？以於滅諦事理兩證，未別證故，法智解脫，證彼二障，不生解脫，非是證故，法智解脫，證彼二障，不生解脫，非是此位，方始證真，自後諸心，類此准知，此上相此位，方始證真，自後諸心，類此准知，此上相見，擬真見道，義談四別，據實真見，四諦俱見，擬真見道，義談四別，據實真見，四諦俱時，證無前後。時，證無前後。
翻此假立不成就者，於染法中略為六對，翻此假立不成就者，於染法中略為六對，依《雜集論》，若伏功能，亦名不成，種子體在，依《雜集論》，若伏功能，亦名不成，種子體在，亦即名成：一、見修對；二、世間出世對；三、現行亦即名成：一、見修對；二、世間出世對；
三、現行種子對；四、六識七識對；五、煩惱所知對；六、種種子對；四、六識七識對；
五、煩惱所知對；六、種子習氣對。初見修對者，三乘見道，三界分別子習氣對。
初見修對者，三乘見道，三界分別所有二障，隨其所應，若種、若現名不成就，所有二障，隨其所應，若種、若現名不成就，三界修斷，隨其所應名成、不成，二乘見道，三界修斷，隨其所應名成、不成，二乘見道，隨先所伏，修道煩惱，斷名不成，未伏不斷，即隨先所伏，修道煩惱，斷名不成，未伏不斷，即亦名成，非對治故，不障見故，修道准知。亦名成，非對治故，不障見故，修道准知。
二世間出世對者，世道但伏，俱生迷事，別頭二世間出世對者，世道但伏，俱生迷事，別頭所起，貪、嗔、癡、慢，令不現起，名為不成，迷所起，貪、嗔、癡、慢，令不現起，名為不成，迷理及細，並非所伏，即名成就，出世如前。理及細，並非所伏，即名成就，出世如前。現行種子對者，一切現行若未生起，皆名不現行種子對者，一切現行若未生起，皆名不成。若生起時，即名成就。二障種子，若未損成。
若生起時，即名成就。二障種子，若未損伏，即名為成。若已斷除，即名不成。若在凡伏，即名為成。
若已斷除，即名不成。若在凡位，體在名成，或有伏者，損伏用故，亦名不位，體在名成，或有伏者，損伏用故，亦名不成。若在二乘所知種成，菩薩隨應有成、不成。
若在二乘所知種成，菩薩隨應有成、不成。六七識對者，且煩惱障如二乘人，在於成。六七識對者，且煩惱障如二乘人，在於見道，六相應惑分別不成。俱生通二，第七名見道，六相應惑分別不成。
俱生通二，第七名成，設起果者不斷七惑，修道之中，八十一成，設起果者不斷七惑，修道之中，八十一品隨其所應，有成不成。若第七惑成，斷八品隨其所應，有成不成。若第七惑成，斷八十一，方名不成，斷前八十，猶名為成，據有十一，方名不成，斷前八十，猶名為成，據有種說。若約功能世道名成，出世不成。若約種說。
若約功能世道名成，出世不成。若約
下页续读