【法相辞典】【所应证法及非所应证法】p0746品类足论六卷八页云：所应证法云何？有二作证。一、智作证，二、得作证。智作证所应证法云何？谓一切法，皆是智作证所应证故。非智作证所应证法云何？谓如是法，求不可得。无法非智所应证故。得作证所应证法云何？谓一切善法，及依定所证无覆无记天眼天耳。非得作证所应证法云何？谓除依定所证无覆无记天眼天耳，诸余无记法，及一切不善法。