Chứng minh định lý LCF