Bài 11: Định lí và chứng minh định lí - SGK Toán 7, tập một trang 56