從此第七，明身證不還，論云：「經說不還，有從此第七，明身證不還，論云：「經說不還，有名身證，依何勝德立身證名？」頌曰：名身證，依何勝德立身證名？」頌曰：「得滅定不還，轉名為身證。」「得滅定不還，轉名為身證。」
釋曰：若不還果修得滅定，轉名身證。滅定釋曰：若不還果修得滅定，轉名身證。滅定無心，由身證得，故名身證。又世尊言：「福田無心，由身證得，故名身證。
又世尊言：「福田有二，謂有學十八、無學有九。」解云：言有有二，謂有學十八、無學有九。」解云：言有學十八者，於有學中有四向、三果為七，及學十八者，於有學中有四向、三果為七，及隨法行、隨信行、信解、見至、家家、一間、五種隨法行、隨信行、信解、見至、家家、一間、五種那含，故成十八。無學九者，一退法、二護法、那含，故成十八。
無學九者，一退法、二護法、三思法、四安住法、五堪達、六不動、七不退、三思法、四安住法、五堪達、六不動、七不退、八慧解脫、九俱解脫。問：「何緣身證不預其八慧解脫、九俱解脫。問：「何緣身證不預其數？」答：「無漏三學是聖者因，擇滅涅槃是聖者數？」
答：「無漏三學是聖者因，擇滅涅槃是聖者果，滅定有漏，不是依因，依因無故，不預其果，滅定有漏，不是依因，依因無故，不預其數。」數。」從此第四，明阿羅漢向、果，就中分五：一明從此第四，明阿羅漢向、果，就中分五：一明向果差別、二因論明治道、三明盡智後智、向果差別、二因論明治道、三明盡智後智、四明道果、五明六種姓。且第一明向果者，四明道果、五明六種姓。
且第一明向果者，論云：「已辨第三向、果差別，次應建立第四論云：「已辨第三向、果差別，次應建立第四向、果。」頌曰：向、果。」頌曰：「上界修惑中，斷初定一品，「上界修惑中，斷初定一品，至有頂八品，皆阿羅漢向。至有頂八品，皆阿羅漢向。
第九無間道，名金剛喻定，第九無間道，名金剛喻定，盡得俱盡智，成無學應果。」盡得俱盡智，成無學應果。」釋曰：得不還者，從斷初定一品為初，至釋曰：得不還者，從斷初定一品為初，至斷有頂八品為後，名阿羅漢向，趣阿羅漢斷有頂八品為後，名阿羅漢向，趣阿羅漢
果故。即此向中，斷有頂地第九品惑無間果故。即此向中，斷有頂地第九品惑無間
道，名金剛喻定。此定能破一切煩惱，猶如道，名金剛喻定。此定能破一切煩惱，猶如金剛能摧一切，故名金剛喻定。定雖有力金剛能摧一切，故名金剛喻定。
定雖有力
能破一切，餘惑先斷，故今唯斷第九品惑。能破一切，餘惑先斷，故今唯斷第九品惑。
下页续读