金剛經纂要刊定記 4.247

4.247

得名者。即差別也。以諸聖人皆約證無為差別之義，而立其名。如證偏行真如，得名歡喜地，菩薩等此則得名差別，蓋一義耳。

[On] "deriving names": this means distinctions. Because all nobles establish their names in accordance with the distinctive aspects of their realization of asaṃskṛta—as in realizing universally operative tathatā and deriving the name Pramuditā-bhūmi bodhisattva, etc.—deriving names and distinctions are essentially one and the same meaning.