Matematiksel bir önermenin hem cebirsel ispatı hem de algoritmik doğrulaması yapılabiliyorsa, bu iki yöntemin birbirini tamamlayıcı özelliği aşağıdakilerden hangisidir?
A) Cebirsel ispat teorik temeli, algoritmik doğrulama pratik uygulamayı sağlar
B) Algoritmik doğrulama daha üstün olduğu için cebirsel ispata gerek yoktur
C) İki yöntem de aynı şeyi ifade ettiği için gereksizdir
D) Sadece cebirsel ispat geçerlidir
