集異門論七卷六頁云：四應證法者：謂或有法、是身應證；或復有法、是念應證；或復有法、是眼應證；或復有法、是慧應證。云何有法是身應證？答：謂八解脫、是身應證。云何有法是念應證？答：謂宿住事、是念應證。云何有法是眼應證？答：謂死生事，是眼應證。云何有法是慧應證？答：謂諸漏盡、是慧應證。