品類足論六卷八頁云：所應證法云何？有二作證。一、智作證，二、得作證。智作證所應證法云何？謂一切法，皆是智作證所應證故。非智作證所應證法云何？謂如是法，求不可得。無法非智所應證故。得作證所應證法云何？謂一切善法，及依定所證無覆無記天眼天耳。非得作證所應證法云何？謂除依定所證無覆無記天眼天耳，諸餘無記法，及一切不善法。