Bài 4. Định lí và chứng minh một định lí