金剛經纂要刊定記 7.72

7.72

若有下。反顯也。以世界體若是實有，不名虛妄分別，合是正見。世諦說者，即前是名也。同論云：「以彼聚集，第一義不可說」，即前即非也。同前無物可取。

Regarding "If there were..." and so forth: this is an indirect demonstration. If the essence of the world were truly existent, it would not be called false discrimination, but should rather be right view. What is "spoken of according to worldly truth" is precisely the preceding "is called." The same commentary states: "Because they are gathered together, in the ultimate truth it cannot be spoken of," which is precisely the preceding "is not." Just as before, there is no object that can be grasped.