Phát biểu định lý, ghi giả thiết - kết luận của định lý được diễn tả bằng hình vẽ