起名得滅定。即不還者，若於身中有滅定起名得滅定。即不還者，若於身中有滅定得，轉名身證。謂不還者，由此色身而能證得，轉名身證。
謂不還者，由此色身而能證得滅盡定，似涅槃法，故名身證。「如何得滅盡定，似涅槃法，故名身證。「如何說彼但名身證」者，問。「以心無故依身生說彼但名身證」者，問。
「以心無故依身生故」者，答。入滅盡定，以心無故、依身生故，名故」者，答。入滅盡定，以心無故、依身生故，名身證。後出定已猶名得彼，得依身生故，亦身證。
後出定已猶名得彼，得依身生故，亦名為身證。「理實應言至身寂靜故」者，論名為身證。「理實應言至身寂靜故」者，論主述經部解。理實應言：非正入彼滅盡定主述經部解。
理實應言：非正入彼滅盡定時名為身證。彼從滅定起，得先未得有時名為身證。彼從滅定起，得先未得有識身寂靜。色身有識名有識身，簡無識位。識身寂靜。
色身有識名有識身，簡無識位。初從定出此身寂靜，返緣前定便作是思：初從定出此身寂靜，返緣前定便作是思：此滅盡定最為寂靜，極似涅槃。如是證得此滅盡定最為寂靜，極似涅槃。
如是證得出定位中身之寂靜，故名身證。由滅定得及出定位中身之寂靜，故名身證。由滅定得及出定後，緣滅定智現前，證得身之寂靜。出定後，緣滅定智現前，證得身之寂靜。
又解：由得身寂靜及出定智現前，證得身又解：由得身寂靜及出定智現前，證得身之寂靜。「契經說有至不說身證」者，依經之寂靜。「契經說有至不說身證」者，依經起問。言十八者，於二十七賢聖中除九起問。
言十八者，於二十七賢聖中除九無學。故《正理》六十五云「何緣佛說有學福田，無學。故《正理》六十五云「何緣佛說有學福田，身證不還不預其數？謂世尊告給孤獨言：身證不還不預其數？
謂世尊告給孤獨言：長者當知，福田有二：一者有學、二者無學。長者當知，福田有二：一者有學、二者無學。有學十八，無學唯九。何等名為十八有學？謂有學十八，無學唯九。
何等名為十八有學？謂預流向、預流果，一來向、一來果，不還向、不預流向、預流果，一來向、一來果，不還向、不還果，阿羅漢向，隨信行、隨法行，信解、見至、還果，阿羅漢向，隨信行、隨法行，信解、見至、家家、一間，中、生、有行、無行、上流，是名十家家、一間，中、生、有行、無行、上流，是名十八。何等名為九種無學？謂退法、思法、護法、八。
何等名為九種無學？謂退法、思法、護法、安住法、堪達法、不動法、不退法、慧解脫、俱解安住法、堪達法、不動法、不退法、慧解脫、俱解脫，是名為九種。」脫，是名為九種。」
「依因無故」者，答。「何謂依因」者，徵。「依因無故」者，答。「何謂依因」者，徵。
「謂諸無漏至說有學差別」者，釋。謂諸無漏「謂諸無漏至說有學差別」者，釋。謂諸無漏
下页续读