Chứng minh bằng lùi vô hạn