C.4. Định lí và chứng minh định lí