離系得者，謂於粗重離散，假立離系得性。金剛喻定者，謂居修道最後斷結道位所有三摩地，此復略有二種，謂方便道攝、無間道攝。方便道攝者，謂從此已去不為一切障所礙而能破一切障。無間道攝者，謂從此無間盡智無生智生，又此三摩地無間堅固一味遍滿，云何此金剛喻定名無間？謂此相續流非世間行所間缺故，堅固者，非一切障所壞，能壞一切障，極堅猛故。一味者，無分別性純一味故。遍滿者，緣一切所知法共相真如為境故，為顯此義薄伽梵說，如大石山無缺無隙無穴一段，極善圓滿十方猛風所不動轉。無間轉依者，謂已證得無學道者所有三種轉依，何等為三？謂心轉依、道轉依、粗重轉依。心轉依者，謂已得無學道證得法性心自性清淨，永離一切客塵隨煩惱故，名為轉依，即是真如轉依義。道轉依者，謂昔世間道於現觀時轉成出世說名有學，餘有所作故，若永除一切所治，永離三界欲時，此道自體究竟圓滿，立為轉依。粗重轉依者，謂阿賴耶識一切煩惱隨眠永遠離故，名為轉依