阿毘達磨大毘婆沙論

果故名不還者。若起勝彼果道便捨不還

果故。名阿羅漢向非不還者。以依根立

補特伽羅故。不可言一有二種故。彼所造

生智論言。問一來向成就預流果不。答不

成就。問不還向成就一來果不。答不成就。

問阿羅漢向成就不還果不。答不成就。評

曰。應作是說。諸有漸次得四果者。彼名雖

八實體唯五。如名體。名施設體施設。名異

相體異相。名異性體異性。名建立體建立。名

差別體差別。名分別體分別。名覺體覺。應知

亦爾。問若八實體唯有五者。云何建立此八

種名。答依道現行故立八種。謂預流者乃

至未起勝彼果道。彼預流果得而亦在身

成就亦現在前。於一來向未得。未在身未

成就未現在前。名預流果非一來向。若起

勝彼果道現在前。彼一來向得而亦在身成

就亦現在前。於預流果得而不在身成就

不現在前。名一來向非預流果。諸一來者

乃至未起勝彼果道。彼一來果得而亦在

身成就亦現在前。於不還向未得。未在身

未成就未現在前。名一來果非不還向。若

起勝彼果道現在前。彼不還向得而亦在

身成就亦現在前。於一來果得而不在身

成就不現在前。名不還向非一來果。諸不

還者乃至未起勝彼果道。彼不還果得而亦

在身成就亦現在前。於阿羅漢向未得。未

在身未成就未現在前。名不還果非阿

羅漢向。若起勝彼果道現在前。彼阿羅漢

向得而亦在身成就亦現在前。於不還果得