Thế nào là định lí? Thế nào là chứng minh định lí?