Có mới nới cũ, định lý không bao giờ sai trong hàng triệu năm qua.