先应是学体常住故
先应是学体常住故。未证不还果未有学得。已名为学不应正理。汝何所欲阿罗汉向学诸结断证阿罗汉果。彼转成无学耶者。是应理论者问。彼修行者先是学今转成无学。或离系得转起无学耶。答如是者是分别论者答。述前所问。于理无违故言如是。又汝何所欲阿罗汉向学诸结断证阿罗汉果时。即彼结断应转成无学者。是应理论者诘。彼所宗恐彼非理印述。寻复以理难言。若彼今时成无学者先应是无学体常住故。未证阿罗汉果无无学得。已名无学不应正理。汝何所欲诸阿罗汉无学结断。退阿罗汉果时彼转成学耶者。是应理论者问。彼修行者先是无学。今转成学或离系得转起学耶。答如是者。是分别论者答。述前所问。于理无违故言如是。又汝何所欲诸阿罗汉无学结断。退阿罗汉果时。即彼结断应转成学者。是应理论者诘彼所宗恐彼非理印述。寻复以理难言。若彼今时转成学者。先应是学体常住故。未退阿罗汉果无有学得。已名为学不应正理。若对后说释此文者。而汝说涅槃有学有无学有非学非无学耶者。是应理论者问重定前宗。若不定他宗说他过失则不应理。答如是者是分别论者答。我说涅槃体类差别定有三种故言如是。汝何所欲诸先以世俗道永断欲贪嗔恚。得非学非无学离系得。彼于四谛未得现观修习现观得现观已转成学耶者。是应理论者问。彼修行者先是异生今转成学。或离系得转起学耶。答如是者。是分别论者答。述前所问。于理无违故言如是。又汝何所欲诸先以世俗道永断欲贪嗔恚。得非学非无学离系得。后证不还果时。即彼离系应转成学者。是应理论者难。汝说涅槃随学得成学。今既有学得应转成学。若彼今时转成学者先应是学体常住故者。是分别论者反诘通难我说涅槃学者常是学故。未证不还果未有学得。已名为学不应正理者。是应理论者通彼所诘。重成前难。谓先未证不还果时未有学得。得顺五下分结断。彼结断可不名学。今既有学得得彼结断。何故不名学。若有学得不名学者。不应言涅槃随学得说学。汝何所欲阿罗汉向学诸结断证阿罗汉果。彼转成无学耶者。是应理论者问。彼修行者先是学今转成无学。或离系得转起无学耶。答如是者是分别论者答。述前所问。于理无违故言如是。又汝何所欲阿罗汉向学诸结断证阿罗汉果时。即彼结断应转成无学者。是应理论者难。汝说涅槃随无学得成无学。今既有无学得应转成无学。若彼今时成无学者先应是无学体常住故者。是分别论者反诘通难。我说涅槃无学者常是无学故。未证阿罗汉果无无学得。已名无学不应正理者。是应理论者通彼所诘重成前难。谓先未证无学果时无无学得。得一切结断。彼结断可不名无学。今既有无学得得彼结断。何故不名无学。若有无学得不名无学者。不应言涅槃。随无学得说无学。汝何所欲诸阿罗汉无学结断。退阿罗汉果时彼转成学耶者。是应理论者问。彼修行者先是无学今转成学。或离系得转起学耶。答如是者是分别论者答。述前所问。于理无违故言如是。