阿毘達磨大毘婆沙論

無漏根等有為法。及彼所證諸結盡。并一來

者所成就非擇滅。諸一來者所得勝進無漏根

等有為法者。謂離欲界修所斷後三品染。諸

加行道三無間道二解脫道諸勝進道。如是

無漏法。一來者雖成就。而非一來果所攝。

以勝果道非果攝故。及彼所證諸結盡者。謂

欲界第七第八品修所斷法斷。是勝果道所

證斷故。如勝果道非此果攝。并一來者所成

就非擇滅者。謂一來者於三界及無漏法得

非擇滅。彼雖成就此非擇滅。而此非擇滅

非一來果攝。所以者何。非擇滅是無記。一來

果是善故。設法一來果攝。此是無漏法耶。答

如是。謂有為無為一來果。俱是無漏故。

說一切有部發智大毘婆沙論卷第六十

六