雜阿含1經
如是，比丘！心解脫者若欲自證，則能自證：我生已盡，梵行已立，所作已作，自知不受後有。
攝異門分
[論]
復次，我生已盡者，謂第八有等。
梵行已立者，謂於聖道究竟修故，無復退失。
所作已辦者，謂一切結永無餘故，一切道果已證得故。
不受後有者，謂於七有亦永盡故。
又我生已盡者，有二種生。一、生身生，此如前說。二、煩惱生，此微薄故，亦說為盡。此則記別初之二果。
梵行已立者，謂不還果，非梵行貪此永斷故。
所作已辦，不受後有者，謂阿羅漢。
當知此中，記別四種解了行相。
