“张某不是本案作案人。因为，如果张某是本案作案人，则他必定是A型血。经查，张某是B型血，所以，张某不是本案作案人。”这个证明采用的是（）。