【有庄严灭】 p0547集论五卷十三页云：何等有庄严故？谓俱分解脱三明六通阿罗汉等所有灭。
有庄严者，谓俱分解脱三明六通阿罗汉等所有灭，有无量种种量胜功德所庄严故。
何等无庄严故？谓慧解脱阿罗汉所有灭。何等有庄严故？谓俱分解脱三明六通阿罗汉等所有灭。