تحقق عدالت توقف بردار نیست - تسنیم