阿毗达磨顺正理论卷第五十六
尊者众贤造
三藏法师玄奘奉 诏译
辩随眠品第五之十二
如是已辩诸惑对治。修能对治胜进位中，所断诸惑为再断不？所得离系有重得耶？颂曰：
诸惑无再断， 离系有重得，
谓治生得果， 练根六时中。
论曰：所断诸惑由得自分无间道故便顿永断，离退后时无再断义，断已复断则为唐捐。所得离系虽无随道渐胜进理，而道进时容有重起彼胜得理，以离系得道所摄故，舍得道时彼亦舍得，故诸离系有重得理此依容有。时总有六，谓治道起、得果、练根。说治生言通目二义，若据住此能证离系，目无间道；若据住此正证离系，目解脱道。言得果者，谓得预流、一来、不还、阿罗汉果。言练根者，谓增进根。由此六时得未曾道，有舍曾道得离系故。说得果言既无差别，如摄四果应摄练根，以转根时必得果故，何劳长说此练根言？为显练根异断惑得果故，得果外说练根无失。然得离系，随其所应有具六时乃至唯二。谓欲界系见四谛断，及色无色见三谛断，所得离系得具六时。色无色界见道谛断，所得离系得唯五时，由治生时即得果故，说得果已不说治生。欲界修断五品离系，亦五时得，除预流果。第六离系得唯四时，得果、治生时无别故。第七八品亦唯四时，得果四中除前二故。第九离系得唯三时，亦治生时即得果故。色无色界修所断中，唯除有顶第九离系，所余离系亦唯三时，得果四中除前三故。有顶第九得唯二时，得果、治生同一时故。此约钝说，若就利根，前诸位中除练根得，岂不八地容世俗道，断应分二种，对治生时得？不尔，此说渐次得故，惑此唯约无漏得故。若依越次通有漏得，则世俗道八地染中，随离少多入圣道者彼得离系，随其所应有具六时，乃至唯一，以利根故，除练根时。谓欲界中先断五品入见谛者，彼见所断五品离系具六时得，谓有二种自治生时，及得果时复四成六。彼修所断五品离系，唯五时得，除预流果。先断六品入见谛者，彼见所断六品离系，亦五时得，除一如前。彼修所断六品离系，唯世俗道治生时得，必不起彼无漏对治，是一来果向道摄故。非住果时起彼向道，以住胜果不起劣故。先断八品入见谛者，彼见所断八品离系，亦五时得，除一如前。彼修所断前六离系，唯一时得，如前应知。七八离系唯四时得，谓二治生及二得果。先断九品依未至地入见谛者，彼见所断九品离系亦四时得，如前应知。依根本地入见谛者，彼见所断九品离系亦一时得，如前应知。根本非欲断对治故，若依未至、若依根本，彼修所断九品离系亦一时得，如前应知，必不起彼无漏对治，是不还果向道摄故。先断上七地入见谛者，彼见三谛断七地离系亦四时得，如前应知。见道谛断七地离系，唯三时得，谓一治生及二得果，无漏治生即得果故。彼修所断七地离系，唯三时得，谓二治生及一得果。具离八地入圣道者，见修位中断有顶惑、见三谛断离系，三时，谓一治生及二得果。见道谛断离系，二时，由治生时即得果故。修断八品离系，二时，谓一治生及一得果。第九离系唯一时得，以治生时即得果故。诸分离染见修位中进断所余，准此应说。以何因证得后果时，重得先时所断离系？由至教故，谓契经中依正证得阿罗汉果，说如是言：应如是知，应如是见彼从欲漏心得解脱，乃至广说。由此位中亦得欲界厌患对治等无学法智故，知彼离系亦应重得。前言断欲六品九品入见谛者，彼先修断六九离系，无无漏得，为永不得、暂不得耶？应决定言彼永不得。岂不证得阿罗汉时，必得先时见修所断一切离系诸无漏得。若彼先时所断离系有无漏得今时舍者，于彼今应得无漏得；若先无者今时亦无，得离系时唯自治起，及舍劣道得胜时故。诸有先依根本静虑入见谛者，得无学时，宁从欲漏心得解脱？就依未至入见谛者及次第者，说故无失。或诸证得阿罗汉者，定得无学法智品摄厌患对治，由此数能厌患欲界，令欲界结无复系能，依此故言彼从欲漏心得解脱。由此即释契经所言：阿罗汉果永断瞋恚。就厌患彼说为断故。若尔，何故引此契经，证后果时得前离系？经言从欲漏心得解脱者，有具二因、有一因故。谓于欲离系得无漏得者，二因故言心脱欲漏，一得彼无学离系得故，二得彼无学厌患治故。若不得者唯由一因，故此契经义皆成立，此中理趣如前已辩。复云何知得阿罗汉二界离系，必舍学得得无学得，非欲界耶？学位定应先得彼故。谓设先离无所有染，随依何地入见谛时，必得二界诸见所断无漏断治，彼见所断是一断治顿所断故。上地见道现在前时，必修未来下地道故，下静虑遍能为上断治故。岂不已离无所有处染，依第三定等入见谛时，应修未来上地见道？同为有顶断对治故。不尔，未离此地染者，即依此地入见谛时，自及上诸地见谛所断，见一一谛时能顿断故。如有未离第四定染，依第四定入见谛时，顿断五地见所断染。乃至未离初静虑染，依初静虑入见谛时，顿断八地见所断染，上地曾无断下地故，非第四等与第三等，所对治法一切皆同。由是已离第三等染，依第三等入见谛时，虽上地能治自上地，而非与下所治恒同，故依下时不能修上。诸异生位以世俗道断见所断所有离系，唯由下地见道势力，于自上地无漏得起。谓依上地见道现前，必修未来下地见道，由彼势力于下离系得无漏得，非上地故。由此学位定应遍于色无色摄，见断离系得无漏得非欲理成，欲唯未至地，见道所断故。岂不应如第四定等，非第三等下地对治？然第四等见道现前，能修未来下地所摄，一切见道由彼道力，于诸下地见断离系得无漏得。如是根本虽非欲治，然根本地见道现前，应修未来未至地摄一切见道，由彼道力应于欲界见断离系得无漏得。此例不齐，见道有二，一欲界对治、二上界对治。欲治有三，谓断对治、厌患对治、远分对治。色无色治三种亦然。欲治三中，初断对治唯未至摄，余通六地。上治三种皆通六地。然上二界断治见道，唯能对治自上地染，余治见道亦治下地。上地虽非下地断治，而上见道现在前时，遍修未来下地见道，下与上地同所治故。无有欲界断治见道能与根本同一所治，可根本地见道现前，能修未来未至地摄欲见断法断治见道，由彼道力能于欲界见断离系得无漏得。故彼所引为例不齐。诸根本地欲界厌患远分对治，色无色界三种对治，见道现前还修未来未至地摄。如是二种三种对治，非由未来欲界厌远对治力故，便于欲界见断离系得无漏得，唯断对治力能断系得故。诸先离欲，若依未至入见谛者，欲界厌患远分对治，见道现前亦修未来欲断对治，欲断治地道正现在前故。由如是理，非先离欲入见谛者，皆于欲界见断离系得无漏得。诸先离欲入见谛者，毕竟无容于欲修断所有离系得无漏得，以未至摄欲界修断，断对治收无漏修道，于不还果身中现前及未来修俱非理故，理无容有不还果身中有一来、不还二向道故。诸有先离无所有染入圣道者，唯除菩萨，余亦定于二界一切修断离系得无漏得，彼皆必于二界修断，自胜果道遍现前故。如是理趣以何证知？说圣者生第四静虑，以上诸地定成乐根。及说圣者生于无色，定有色贪尽断遍知得故。菩萨何缘不亦如是？不由加行一切功德能现前故，如灭定等。谓声闻独觉无自在功力能超间起诸对治道，欲证后道必藉前道以为加行方能证故。菩萨亦有超起功力，以于诸法相连接中得殊胜智，加行广故。若尔，菩萨应见道中不起法智品，唯起类智品。因同前故，无如是事。于色无色蕴有无我智生，必以有执受蕴无我智为先故。或初业地于法类品次第观中。曾极串习，后次观苦。世第一法，有苦现观见道续生，一切如前任运起故。或异生位从无始来，数以世间有欺诳智，观察欲色苦集灭道，故虽已断欲色二界见所断或，为以出世无欺诳智重遍观察。菩萨亦修彼对治道，诸先离染随其所应，后见道生至住果位，胜果道障既先已除，得胜果道斯有何失？许如是义便为善通，十门品说亦善安立。菩萨成下修断无为，理不应然。且住果者得非果道，违毗婆沙。非住果时未趣后果，可有已得非果道义。又理必然非此断治现在前位，如何由彼能得未来此断治道？又见具缚渐得果者，于后成就胜果道时，果所摄道必不行故。诸先离染至得果时，若有亦得胜果道理，彼果摄道应永不行。又非住有顶见道谛断断对治时，亦有得欲界诸修所断断对治理。又诸获得胜果道时，随应亦得诸世俗道，世出世道相系属故。若先离染，随其所应，后见道生，至住果位必亦获得胜果道者，得预流时应修俗智，同对治故、等离障故。由此我说得离系等，符教顺理为善安立。即诸离系，彼彼位中得遍知名，随胜立故。遍知有二：一智遍知、二断遍知。智遍知者，体即是慧。有说此通有漏、无漏。有漏慧者谓除胜解作意相应，所余世间分别法性，能取诸法自相共相，闻思所成及暖、顶忍、世第一等修所成慧。无漏慧者，谓出世间见道修道无学道慧。前有漏慧顺无漏智，现观性故亦名遍知。如契经说：我作如是如理思时，实现观生，便知老死由生故有。又言：于一法未达未遍知，我说不能作苦边际。非无漏慧遍知一切法故，智遍知亦通有漏慧。唯无漏慧为智遍知，是我宗中正意所许。如说为于未现观法起现观故思惟取蕴，非由闻等所成俗慧，可证得预流至阿罗汉果，说预流等九根得故。又转法轮契经中说：以无漏慧遍知苦等。应知此即是未知当知根。然菩萨言实现观生者，于世间慧假立现观名，彼行相转似现观故。言于一法未达等者，依于此法若未遍知障苦尽者，密说无过，故定无漏慧方得遍知名。断遍知者体即离系，能遍知故名为遍知。是智异名如何目断？是智果故，如业解果。谓契经说六处名业，是业果故。又说无为应果名解，是解果故。如是遍知目断无失。若尔，忍果应非遍知。毗婆沙师作如是释：诸忍皆是智眷属故，于忍所作立智作名，如臣所为亦名王作。有余师释：诸解脱道于所得断亦有功能，以于断得能任持故，令诸系得不复生故，由此忍果有智果义。此释不然，以说诸断唯是诸无间道离系士用果故。或金刚喻等持相应无漏睿智，力能总集诸断无漏离系得故，忍果尔时亦成智果、渐得果等。得一来、不还，忍果无为已成智果故，许身见等三顺下结永断无为名智果故，当说余三是智果故。为一一断道所得离系各立一遍知、为一切断道所得离系总立一遍知？二俱不然，以有极广、极略过故。若尔云何？颂曰：
断遍知有九， 欲初二断一，
二各一合三， 上界三亦尔，
余五顺下分， 色一切断三。
论曰：诸断总立九种遍知。唯立九缘，如后当辩。何等名曰九种遍知？且三界系见谛所断烦恼等断，立六遍知，谓欲界系初二部断立一遍知，初二部言即显见苦见集所断。次二部断各立一遍知，次二部言显见灭道断。如欲界三上界亦尔，谓色无色二界所系，亦初二断一二，各一合三。余三界系修道所断烦恼等断立三遍知，谓欲界系修道所断烦恼等断立一遍知，应知即是五顺下分结尽遍知，并前立故。色界所系修道所断烦恼等断立一遍知，应知此即是色爱尽遍知。无色界系修道所断烦恼等断立一遍知，即一切结永尽遍知，此亦并前合立一故。此三前六总九遍知。如见道中唯见所断烦恼等断得遍知名，如是修道中亦唯修断不一，唯修断二通见修，已说并前而建立故，当说二时集遍知故，若异此者则不应说五顺下分尽一切尽遍知。以何因缘色无色界见断法断合立遍知，修断断中各别建立？如对治起而建立故。谓如色界诸蕴无我，无色诸蕴无我亦然，以彼见所断无事同故等，非身俱故对治亦同。如无色中等至殊胜，色界等至则不如是，彼修所断有事别故，对治不同是故别立。如是所立九种遍知，应辩于中几何道果。颂曰：
于中忍果六， 余三是智果，
未至果一切， 根本五或八，
无色边果一， 三根本亦尔，
俗果二圣九， 法智三类二，
法智品果六， 类智品果五。
论曰：于此九中且应先辩与忍智道为果差别。忍果有六，谓三界系见断法断六种遍知。智果有三，谓顺下分色爱一切结尽遍知，由此三遍知是修道果故。由此已辩见修道果。与静虑地为果别者，未至静虑果具有九，谓此为依断一切故。根本静虑果五或八，所言五者，毗婆沙师说，根本静虑非欲断治故。所言八者，尊者妙音说，根本静虑亦欲断治故。除顺下分结尽遍知，以彼唯是未至果故，无容修彼断对治故。中间静虑如根本说。岂不依止根本静虑入见谛时，亦修未来依未至地欲断治道，得断治故亦应证彼欲见断法断无漏离系得，宁说根本唯得五果？此责不然，尔时所修依未至地断对治者，唯色无色断对治故。根本地道既不能为欲断对治，彼现起位如何能修欲断治道？由彼所修未至断治，唯治上界，故果唯五。复云何知起余对治必不能修余对治道？宗所说故，谓于思择先离色染入见谛者，至修位中色尽遍知得不得处，如是说故。有言既说离空处染时，亦修未来诸静虑地故。岂不已说余治修余？此责不然，非诚证故。说断空处修静虑时，但修未来无色对治，非色对治，为证岂成？此乃证余不修余治。有作是说：此证俱不成，见修道中所修相异故。谓第四定见道现前，唯修未来六地见道，修道现起所修不然。又见道中一无间道顿断八地，修道不然。又彼所修同不同分智行相异，是故见道与彼修道所修各别。又修道中亦有余治现在前位修余治道，如离欲时修诸类智，离色无色时修苦集法智，故见道位理亦应然。又根本静虑亦能治欲界，如世尊言：六出离依喜为因依住便能舍离，六出离依忧，乃至广说。此舍离言说离欲染，非宗边地许有喜根，由此极成根本静虑能治欲界，是故根本静虑地果有八遍知。此中有余作如是斥：非不现起断治道力能引无漏离系得生名得遍知，如沙门果。如世俗道得二果时，虽修未来无漏断治，而不名曰得沙门果。如是根本静虑现前，纵修未来欲断治道，而不由彼引离系得，故不可得八遍知果。此无深理，以许圣位用世俗道，离诸染时得无漏世俗二离系得故。非俗无漏二智俱行，故由未来无漏道力能引无漏离系得生。非沙门果亦不成证，安立因果与得无漏，离系、得理各有别故。言世俗道得二果时有不名为沙门果者，是现非彼未来果义，无漏断得障得断故，尔时必起无漏断得。此无漏得亦由未来无漏引起，如何成证？又世俗道得二果时，亦许所得名沙门果，未来无漏解脱道等亦得名为沙门果故。谓世俗道得二果时，未来无漏解脱道等障得断故得皆现起。彼为是谁沙门之果？是现未来沙门之果。谓世俗道现在前时，有无漏得名现在道，彼是此道之等流果，亦未来道之士用果，相应、俱有因通三世故，彼以士用果为其果故。诸无为法越三世故名沙门果，何理能遮？由此彼执根本静虑八遍知果，其理还成。然实不成，彼证非故。且彼所说谓第四定见道现前唯修未来六地见道，修道现起所修异者，此不成证。谓所修地虽复不同，然俱唯修上界治故。虽所修地少有不同，何理即令修余对治？以离有顶治道起时，虽修未来依九地道，而不可以所修异故，即令彼能修余对治，不尔彼应修世俗道。又即由此，于见道中虽一刹那顿断八地，而修八地治道非余，随断少多恒修同治。又由同分不同分修，见修道中修相有异，即证见道不修未来余对治道，理善成立，见道所修唯同分故。如集等忍现在前时，虽先已得苦等忍智，非见集等所断治故，于此位中不能修彼，然余地道于此能修，是此位道同对治故。或见道位虽修未来无量功德，而在忍位修忍非余，于智位中唯能修智，如是忍智尚不互修，况修未来余对治道义可成立？又修道中亦定无有余治现起修余治义。虽诸类智离欲时修，离色无色时修苦集法智，而非断对治，非对治故修。此何缘修？由因长养，辩智品中当广显示。又彼所引意近行经，约加行中现见忧喜相对治故，说亦无失。或修观者由先现见耽嗜依忧能为逼恼，后例观彼出离依忧，行既同前亦为逼恼，遂欣初定妙喜现前，因此勤修断忧治道，故说因喜能舍离忧。或出离依忧断对治无间，容初静虑妙喜现前，蕴此于心密说现在。出离依忧喜，近能相对治，为欲慰喻遭出离忧所逼恼者令安泰故。根本静虑于一切种，定无能为欲断对治，谁弃乐行依苦勤修，为欲证得三沙门果？由如是理，毗婆沙师说根本静虑遍知果唯五。我能此中更广决择，恐远本义故应且止。与无色地为果别者，无色边地果唯有一，谓依空处近分地道得色爱尽遍知果故。圣依俗道离诸染位，所得断果亦名遍知，以得无漏离系得故。前三根本果亦唯一，谓依无色前三根本得一切尽遍知果。故由此已辩静虑、无色总得遍知果多少别。与俗圣道为果别者，俗道果二谓俗道力，唯能获得顺下分尽及色爱尽遍知果故。圣道果九，谓圣道力乃至能越三有顶故。应知九中二是共果。七不共果，唯圣果故。与法类智为果别者，法智果三，谓法智力能断三界修所断故。类智果二，谓类智力断色无色修所断故。与法类品为果别者，法智品果六，谓即是前法智、法忍所得六果。类智品果五，谓即是前类智类忍所得五果。品言通摄智及忍故。法品六中，四不共果，三属法忍，一属法智，二是共果，谓最后二双属法类二种智故。类品五中，三不共果皆属类忍，二是共果，谓最后二，义如前释。何缘一一道所得断，不各各立为一遍知？以永断时说遍知故。如契经说：吾今为汝宣说遍知，乃至广说，此中何等名为遍知？谓贪永断、瞋永断、痴永断，乃至广说。说永断言显所得断，都无随缚，方名遍知。云何名为有随缚断？云何名为无随缚断？断具三种或四种缘，名无随缚；不具名有。谓或有断虽得离系得而阙余得故，容还永舍。或复有断余得虽生，未缺坚牢生死之首，以八地染虽数曾离，未能缺彼故，还坠恶趣狱。或复有断虽亦缺彼，而余烦恼系缚未除，于永断义未得圆满。或复有断余缚亦除，而犹未能越所属界，以同类惑未断无余，于永断义亦未圆满。如是诸断名有随缚，是故于彼不立遍知。唯九位中三四缘具，断无随缚，可立遍知。何谓具缘？颂曰：
得无漏断得， 及缺第一有，
灭双因越界， 故立九遍知。
论曰：见断法断具三缘故便立遍知，修断法断具四缘故方立遍知。见断、法断具三缘者，谓得无漏离系得故、缺有顶故、灭双因故。此中异生虽复亦有离八地染名灭双因，而断非遍知，阙余二缘故。见圣谛位第二三刹那诸断，虽有无漏离系得，余二缘阙，未立遍知。第四五刹那，虽亦缺有顶，双因未灭，不立遍知，见集断因有未灭故。集法智位欲二部断，具三缘故得遍知名。后五刹那法类智位，断具三缘故，皆得遍知名。修断法断具四缘者，三缘如上，越界第四。谓诸界中圣未越地，彼所得断唯具二缘。若已越地未越界者，彼所得断犹阙一缘。若越界时四缘方具，随应彼断得遍知名。岂不应五缘，谓加离俱系。有余说此即灭双因及越界缘，故不别说。若尔，亦勿立越界缘，越界亦即灭双因故。双因俱系虽依一物，而系与因其义各异，谓于五部令起名因，即于其中能缚名系。且苦智生集智未生，二部虽无互令起力，而有展转能为因性，见集断惑缚义如本，见苦所断缚义都无，故非灭双因即是离俱系。又不可说因义即系，以无漏缘惑不系他聚故。由此我宗二种俱说。今不说者，但可说言：说此彼自成，不可言无异。体义宽故且说双因，虽诸越界位皆灭双因，而灭双因时非皆越界故，灭双因外别立越界缘，灭三地双因未立遍知故。谁成就几遍知？颂曰：
住见谛位无， 或成一至五，
修成六一二， 无学唯成一。
论曰：异生位中虽能离染，乃至八地不成遍知。于圣位中依未至定入见谛者，从初乃至集法忍位亦无遍知，至集法智集类忍位唯成就一，至集类智灭法忍位便成就二，至灭法智灭类忍位便成就三，至灭类智道法忍位便成就四，至道法智道类忍位便成就五。依根本定入见谛者，至集类忍亦无遍知，后位随应如理思择。住修道位未离欲者，道类智为初乃至未得全离欲界染及离欲退皆成就六。至全离欲以离欲第九解脱道为初，乃至离色界最后无间道，先离欲者从道类智乃至未起色尽道前，唯成一遍知谓顺下分尽。从色爱尽及无学位起色缠退亦一如前。有色爱者从色爱永尽，先离色者从起色尽道至未全离无色爱前成下分尽色爱尽二。从无学退起无色缠成二遍知，名如前说。住无学位唯成就一，谓一切结永尽遍知。若依根本入正决定道类智时，彼所有断亦得顺下分断遍知名者，宁许根本果唯有五遍知？唯色无色界见断法断得彼遍知名，故无有失。何缘唯此亦得彼名？以渐次得不还果者，于此断上立彼名故。又先俗道所断下分，今圣道力令永不生，故彼所得断假说为此果，今实不得欲断遍知。是故此中应作四句。谓若将得断者亦将得遍知耶？或有将得断非将得遍知，谓诸位中将所得断，未于彼断将立遍知。或将得遍知非将得断，谓未离欲入见谛者，于集法忍正灭位中，欲界见苦所断法断，将得遍知，众缘具故，非将得断，先已得故。于集类忍正灭位中，二界见苦所断法断，诸先离欲，若依根本入见谛者，后三类忍正灭位中，随其所应，彼先所断色无色界见断法断。彼欲见修所断法断，于一切位非将得断，先已得故；非将得遍知，此非彼治故。若依未至入见谛者，三法类忍正灭位中，随其所应，彼先所断欲色无色见断法断。于修道位离欲界染第九无间正灭位中，三界见断及欲八品修断法断。离第四定第九无间正灭位中，前三九品第四八品。先离色者，四地九品修断法断。金刚喻定正灭位中，一切前位所断法断。或将得断亦将得遍知，谓诸位中将所得断亦于彼断将立遍知。此诸位言显无间道，自所断法断将得遍知名。如未离欲入见谛者，于集法忍正灭位中，欲界见集所断法断。于集类忍正灭位中，二界见集所断法断。如是乃至于道类忍正灭位中，二界见道所断法断。诸先离染入见谛者，如应当思。修道位中于离欲界，第四静虑有顶染时，第九无间所断法断。或非将得断非将得遍知，谓除如前所说诸相。何故不还阿罗汉果总集诸断立一遍知？颂曰：
越界得果故， 二处集遍知。
论曰：具二缘故，于所得断总集建立为一遍知，一者越界、二者得果。所言集者是合一义。若于无色分离染故得预流果，全离染故得阿罗汉。若于欲界分离染故得一来果，全离染故得不还果。若于色界分离全离俱不得果。唯于二处具足二缘，谓得果时亦即越界故。阿罗汉及不还果，集所得断立一遍知，尔时总起一味得故。余二果时，得虽一味而未越界，色爱尽时虽是越界无一味得故，于彼位不集遍知，要具二缘方总集故。谁舍谁得几种遍知？颂曰：
舍一二五六， 得亦然除五。
论曰：言舍一者，谓从无学及色爱尽全离欲退。言舍二者，谓诸不还从色爱尽起欲缠退，及彼获得阿罗汉时，诸先离欲依根本定入见谛者道类忍时。言舍五者，经主释言：谓先离欲道类智位。此但应说道类忍时，道类智时彼已舍故。夫言得舍，据将说故。又应简言依未至定入见谛者，若依根本入见谛者，于欲界断不得无漏离系得故，不得欲界见断法断三种遍知，非先不得可言今舍。言舍六者，谓未离欲所有圣者得不还时。得亦然者，谓有得一得二得六。言得一者，谓胜进位，集类忍等九种位中，及从无色起色缠退。言得二者，谓从无学起无色界诸缠退时。言得六者，谓不还退。无得五者，理无容故。谓先离欲依未至定入见谛者，道类忍时舍五遍知得不还果。此果若退可得五遍知，此退既无故无容得五。岂不胜进得圣果时，于诸无为更起胜得，乍可名得，宁舍遍知？约断实然恒成就故。但今且据九遍知中，若得异名，本名便失。说名为舍，亦无有过。
说一切有部顺正理论卷第五十六
