قضیه درستی
soundness theorem
strong soundness
درستی قوی