了諦相，得決定名。至見道初說名為入，此了諦相，得決定名。至見道初說名為入，此忍生已得聖者名，是故此忍名入正性離忍生已得聖者名，是故此忍名入正性離生，亦復名入正性決定。論「此在未來生，亦復名入正性決定。
論「此在未來至如燈及生相」，燈生時正能滅暗，住時已滅。至如燈及生相」，燈生時正能滅暗，住時已滅。生相生時正能生法，住時已生。苦法智忍生相生時正能生法，住時已生。
苦法智忍亦於生時滅異生性，住時已滅。論「有亦於生時滅異生性，住時已滅。論「有餘師說至捨異生性」，敘異說也。論「此義餘師說至捨異生性」，敘異說也。
論「此義不然至世間法故」，難也。異生性與世第一法，不然至世間法故」，難也。異生性與世第一法，俱是世間有漏諸法，如何第一法能捨異生俱是世間有漏諸法，如何第一法能捨異生性？論「性相違故至能害怨命」，通也。雖性？
論「性相違故至能害怨命」，通也。雖同世間，性相違故。如同是人，上怨肩上，雖同世間，性相違故。
如同是人，上怨肩上，雖依怨肩能害怨命。世第一法與異生性，雖依怨肩能害怨命。世第一法與異生性，雖同世間，依異生性能捨異生。故《正理》云「性同世間，依異生性能捨異生。
故《正理》云「性相違故，依彼能捨，如上怨肩而害怨命。」相違故，依彼能捨，如上怨肩而害怨命。」論「有餘師說至解脫道故」，異師說也。《婆沙》論「有餘師說至解脫道故」，異師說也。
《婆沙》第一云「有餘師言：世第一法、苦法智忍更第一云「有餘師言：世第一法、苦法智忍更互相資，捨異生性。謂世第一法與異生性互相資，捨異生性。謂世第一法與異生性雖恒相違，而力劣故不能獨捨。由此引生雖恒相違，而力劣故不能獨捨。
由此引生苦法智忍，共相助力捨異生性。譬如羸人苦法智忍，共相助力捨異生性。譬如羸人依因健者更相助力能伏怨家。由此因緣，依因健者更相助力能伏怨家。
由此因緣，世第一法如無間道，苦法智忍如解脫道，世第一法如無間道，苦法智忍如解脫道，捨異生性。」論「此忍無間至名苦類智」，捨異生性。」論「此忍無間至名苦類智」，此明下上苦法類忍智相生也。論「最初此明下上苦法類忍智相生也。
論「最初證知至而證境故」，此釋法類忍智名也。證知至而證境故」，此釋法類忍智名也。論「如緣苦諦至名道類智」，准苦諦釋餘三論「如緣苦諦至名道類智」，准苦諦釋餘三諦。論「如是次第至聖諦現觀」，結總名諦。
論「如是次第至聖諦現觀」，結總名也。此十六心總名現觀。現謂現前，觀謂實也。此十六心總名現觀。
現謂現前，觀謂實觀。《正理論》云「如是次第有十六心，總說名觀。《正理論》云「如是次第有十六心，總說名為聖諦現觀。以於三界四聖諦境，次第現前為聖諦現觀。
以於三界四聖諦境，次第現前
下页续读