Phát biểu và viết giả thiết kết luận của định lí được minh họa bởi hình vẽ dưới đây.