及除观下四地灭谛各四行相相应十六
及除观下四地灭谛各四行相相应十六。以依无色必无法智。及缘下灭类智品故。缘下地道于理无遮。道必总缘前已释故。余如前故有二十八。识无边处有二十四。无所有处唯有二十。谓彼于前复除观下。灭圣谛境四八行相。随其次第准前应释。诸有欲令三无色地。有缘下地灭类智者。彼作是说。空无边处加前十六。识无边处加前二十。无所有处加二十四。如是总说依无色地。金刚喻定七十二种。或复说有百三十二。有余师说。道类智品于八地道。亦各别观故前六地各有八十。空无边处唯有四十。识无边处有三十二无所有处有二十四。复有欲令灭类智品。于八地灭有别总观。故前六地中各百六十四。空无边处唯五十二。识无边处有三十六。无所有处有二十四。彼俱非理。道必总缘灭唯别缘前已辩故。尊者妙音作如是说。金刚喻定总有十三。谓断有顶见修断惑。无间道摄十三刹那。此亦不然。以四类忍前八无间道非极上品故。此定既能断有顶地第九品惑。能引此惑尽。得俱行尽智。令起金刚喻定。是断惑中最后无间道所生尽智。是断惑中最后解脱道。故说此定所引尽智。与第九品尽得俱起。或此尽言显一切尽。谓第九品及所余惑。皆得择灭故名为尽。金刚喻定能引诸惑。尽得俱行尽智令起。此与一切烦恼尽得。最初俱生故名尽智。有余师说。惑尽身中此最初生故名尽智。如是尽智至已生时。便成无学阿罗汉果。已得无学应果法故。为得别果。所应修学。此无有故得无学名。岂不无学亦希别果。以无学者亦转根故。此难不然。如先有学求得别果此不然故。谓如预流非一来等。于后获得一来等时。舍预流等名得名一来等。皆舍别果得别果名。此则不然。退非思等于后获得思法等时。虽舍退等名得名思法等。非舍别果得别果名。前后皆名阿罗汉故。唯舍前果得别果时。舍前果名得名别果。更无别果是所应学。故名无学前释无过。即是行向住前果者。求别名果此无有义。既说尽智至已生时。便成无学阿罗汉果。义准尽智未已生时。前七圣者皆名有学。为得别果勤修学故。住本性位何名有学。学意未满故。学得常随故。何故无学名阿罗汉。诸自利行修学已成。唯应作他利益事故。如契经说。不自调伏能调伏他。无有是处。或有三种补特伽罗。谓诸异生有学无学。异生虽学戒定慧三。而犹未能如实见谛。容有舍正作邪学理。故不于彼立有学名。诸有已能如实见谛。正学无退得有学名。由此世尊为显定义。于有学者重说学言。如契经中佛告憺怕。学所应学学所应学。我唯说此名有学者。