及除观下四地灭谛
及除观下四地灭谛。各四行相。相应十六。以依无色必无法智。及缘下灭类智品故。缘下地道于理无遮。道必总缘前已释故。余如前故有二十八。识无边处有二十四。无所有处唯有二十。谓彼于前复除观下灭圣谛境四八行相。随其次第准前应释。诸有欲令三无色地。有缘下地灭类智者。彼作是说。空无边处加前十六。识无边处加前二十。无所有处加二十四。如是总说。依无色地金刚喻定七十二种或复说有百三十二。有余师说。道类智品于八地道亦各别观。故前六地各有八十。空无边处唯有四十。识无边处有三十二。无所有处有二十四。复有欲令灭类智品。于八地灭有别总观。故前六地中各百六十四。空无边处唯五十二。识无边处有三十六。无所有处有二十四。彼俱非理。道必总缘。灭唯别缘。因有无故。尊者妙音作如是说。金刚喻定总有十三。谓断有顶见修断惑无间道摄十三刹那。此亦不然。以四类忍前八无间道非极上品故。此定既能断有顶地第九品惑。能引此惑尽得俱行。尽智令起金刚喻定。是断惑中最后无间道所生尽智。是断惑中最后解脱道故。说此定所引生智与第九品尽得俱起。或此尽言显一切尽。谓第九品及所余惑。皆得择灭。故名为尽。金刚喻定能引诸惑。尽得俱行尽智令起。此与一切烦恼尽得。最初俱生故名尽智。有余师说。惑尽身中此最初生。故名尽智。如是尽智至已生时。便成无学阿罗汉果。已得无学应果法故。为得别果所应修学。此无有故得无学名。岂不无学亦希别果。以无学者亦转根故。此难不然。如先有学求得别果。此不然故。既说尽智至已生时便成无学阿罗汉果。义准尽智未已生时。前七圣者皆名有学。为得别果勤修学故。住本性位。何名有学。学意未满故。学得常随故。何故无学名阿罗汉。诸自利行修学已成。唯应作他利益事故。如契经说。不自调伏能调伏他。无有是处。或是一切有学异生。所应供养故名应果。学法云何。谓有学者。无漏有为法。无学法云何。谓无学者。无漏有为法。诸无为法虽是无漏。而不名为学无学法。以有得者异生等身亦成就故。若无得者都不系属学无学故。如是有学及无学者。总成八圣补特伽罗。行向住果各有四故。名虽有八事唯有五。谓住四果及初果向。以后三果向不离前果故。此依渐次得果者说。若倍离欲全离欲者。住见道中名为一来。不还果向。非前果摄。修道即通有漏无漏。何道能离何地染耶。二道现前离诸地染。