*Ta thấy có chữ have trước động từ "proof" nên câu này sẽ chia ở dạng HIện Tại Hoàn Thành => động từ proof chia ở dạng quá khứ phân từ/cột III : proved
=> Câu : "Tests have (proof) that the system works" trở thành:
Tests have proved that the system works.
* Công thức HTHT:
+) S + have/has + `V_ed`/ `V_(cột III)` + O
-) S + have/has + not + `V_ed`/ `V_(cột III)` + O
?) Have/Has + S + `V_ed`/ `V_(cột III)` + O?