七、一種八、一種九。「若不還果至此俱有七、一種八、一種九。「若不還果至此俱有故」者，釋不還果。總說雖同一來七、八、九故」者，釋不還果。
總說雖同一來七、八、九證，而有差別。謂此全離欲貪超越證者，雖證，而有差別。謂此全離欲貪超越證者，雖九數同，然受有異。若依未至、中間及第四九數同，然受有異。
若依未至、中間及第四定，用捨根證；若依初定、二定，用喜根證；定，用捨根證；若依初定、二定，用喜根證；
若依第三定，用樂根證，故言可隨取一。若依第三定，用樂根證，故言可隨取一。前一來果超越，依未至定唯一捨根，此即前一來果超越，依未至定唯一捨根，此即超越用受差別。又次第證不還果者，若於第超越用受差別。
又次第證不還果者，若於第九解脫道中不入根本地，依世間道，由七九解脫道中不入根本地，依世間道，由七根得，謂意、捨、信等五。若入根本地，依世間根得，謂意、捨、信等五。若入根本地，依世間道，由八根得，加喜受，彼無間道捨受，解脫道，由八根得，加喜受，彼無間道捨受，解脫道喜受，此二受相資得第三果。於離繫得，道喜受，此二受相資得第三果。
於離繫得，引、依二因如前說。引、依雖同，非無差別。超引、依二因如前說。引、依雖同，非無差別。
超越證者，如預流說。若次第證者，以世間道證越證者，如預流說。若次第證者，以世間道證者，若望有漏離繫得為同類因，若望無漏者，若望有漏離繫得為同類因，若望無漏離繫得為能作因；若以出世道證者，望無離繫得為能作因；
若以出世道證者，望無漏離繫得為同類因，若望有漏離繫得為漏離繫得為同類因，若望有漏離繫得為能作因。若依因，望離繫得皆為能作因也。能作因。若依因，望離繫得皆為能作因也。
若依第九解脫中，不入根本，依出世道，若依第九解脫中，不入根本，依出世道，由八根得，意、捨、信等五根及已知根。若入由八根得，意、捨、信等五根及已知根。若入根本地，依出世道，由九根得，八根如前，已根本地，依出世道，由九根得，八根如前，已知第九，無間、解脫道此已知根俱有故，或此知第九，無間、解脫道此已知根俱有故，或此二道俱有已知。應知不還有一種七、二種二道俱有已知。
應知不還有一種七、二種八、二種九，故與一來義有差別。若據頌文，八、二種九，故與一來義有差別。若據頌文，七、八、九中二，總有二種七、三種八、三種九，七、八、九中二，總有二種七、三種八、三種九，以數同故。又《婆沙》一百四十八云「問：離欲以數同故。
又《婆沙》一百四十八云「問：離欲界染第九解脫道，誰即入靜慮？誰不入耶？界染第九解脫道，誰即入靜慮？誰不入耶？
答：有說欣多者入，厭多者不入。有說為求答：有說欣多者入，厭多者不入。有說為求靜慮而離染者入，為求解脫而離染者不靜慮而離染者入，為求解脫而離染者不
下页续读