大般涅槃經義記 6.117

6.117

自下第二就有明得，文別有四：一略明有得、二「見有二」下廣明有得、三「以是因緣我於往昔告舍利」下引說證得、四「迦葉言」下釋經顯得。略中，初言「如其無者，云何能斷一切煩惱」難破無義，成有可得。「以其有故，了了知見」正明有得。

From here below is the second [part], explaining attainment on the basis of existence, in which the text has four distinct parts: First, it briefly explains that there is attainment; second, from "Seeing is of two kinds" onward, it extensively explains that there is attainment; third, from "For this reason, in the past I told Śāri[putra]" onward, it cites teachings to verify attainment; fourth, from "Kāśyapa said" onward, it explains the sūtra to reveal attainment. In the brief [part], the opening words, "If it were nonexistent, how could it sever all afflictions?" refute the notion of nonexistence and establish that there is something to be attained. "Because it exists, one clearly knows and sees it" directly clarifies that there is attainment.