答:云何證成?頌曰:
執受初明了,種子業身受,
無心定命終,無皆不應理。
論曰:由八種相,證阿賴耶識決定是有,謂若無阿賴耶識,
依止執受應不可得,
最初生起定不可得,
明了生起應不可得,
諸法種子應不可得,
四種業用應不可得,
種種身受應不可得,
二無心定應不可得,
命終時識應不可得。