Để chứng minh một thuật toán là đúng cần phải làm gì? Chọn phương án đúng nhất trong các phương án sau: A. Cần tiến hành kiểm thử chương trình cài đặt thuật toán, kiểm thử càng nhiều càng tốt. B. Cần cài đặt thuật toán trên càng nhiều ngôn ngữ lập trình càng tốt. C. Cần chạy thử chương trình cài đặt thuật toán xem thời gian chạy có nhanh hay không. D. Cần chứng minh bằng toán học chặt chẽ tính đúng của thuật toán.