định lí mà giả thiết là kết luận và kết luận là giả thiết của một định lí khác đã cho (gọi là định lí thuận).