擇為因，離諸繫縛證滅盡法，名離繫果。由擇為因，離諸繫縛證滅盡法，名離繫果。由慧得滅名為擇滅，即此擇滅亦名離繫，由慧得滅名為擇滅，即此擇滅亦名離繫，由離繫縛而證得故。「若法因彼至由道力離繫縛而證得故。
「若法因彼至由道力得」者，釋第五、第六句，明士用果。若但有法得」者，釋第五、第六句，明士用果。若但有法因彼勢力所生，即說此法名士用果。因彼勢力所生，即說此法名士用果。
「如因下地」等，指事別顯。應知士用有多，「如因下地」等，指事別顯。應知士用有多，擇滅名不生士用，應言由道力證得故。《正擇滅名不生士用，應言由道力證得故。
《正理》十八解士用果云「此有四種，俱生、無間、理》十八解士用果云「此有四種，俱生、無間、隔越、不生，如前已說。言俱生者，謂同一時，隔越、不生，如前已說。言俱生者，謂同一時，更互為因力所生起。言無間者，謂次、後時，更互為因力所生起。
言無間者，謂次、後時，由前念因力所生起，如世第一法生苦法由前念因力所生起，如世第一法生苦法智忍。言隔越者，謂隔遠時，展轉為因力所智忍。言隔越者，謂隔遠時，展轉為因力所生起，如農夫等於穀、麥等。言不生者，所謂生起，如農夫等於穀、麥等。
言不生者，所謂涅槃，由無間道力所得故。此既不生，如何涅槃，由無間道力所得故。此既不生，如何可說彼力生故名士用果？現見於得亦說可說彼力生故名士用果？
現見於得亦說生名，如說我財生，是我得財義。若無間道生名，如說我財生，是我得財義。若無間道斷諸隨眠所證擇滅，如是擇滅名離繫果斷諸隨眠所證擇滅，如是擇滅名離繫果及士用果。若無間道不斷隨眠，重證本時及士用果。
若無間道不斷隨眠，重證本時所證擇滅，如是擇滅非離繫果，唯士用果所證擇滅，如是擇滅非離繫果，唯士用果。」此論前文據別俱生勝士用果，但說相。」此論前文據別俱生勝士用果，但說相應、俱有因得。後文據通士用果故，說通六應、俱有因得。
後文據通士用果故，說通六因得。「諸有為法至之增上果」者，釋後因得。「諸有為法至之增上果」者，釋後兩句。凡果望因或俱、或後，因法望果或俱、兩句。
凡果望因或俱、或後，因法望果或俱、或前，前法定非後法果故。於有為法中，除或前，前法定非後法果故。於有為法中，除前已生有為法，以前非後果故。是餘若俱、前已生有為法，以前非後果故。
是餘若俱、若後，有為之增上果。問：由因增上，其果若後，有為之增上果。問：由因增上，其果得生，名增上果。餘果亦由因增上故，其果得生，名增上果。
餘果亦由因增上故，其果得生，應名增上果。解云：餘果從別立名，得生，應名增上果。解云：餘果從別立名，非從總立故，不名增上果。增上更無別非從總立故，不名增上果。
增上更無別
下页续读