"Her çift sayının karesi çifttir" önermesini ispatlamak için $n=2k$ alınıp $n^2=4k^2=2(2k^2)$ şeklinde gösterim yapılıyor. Bu ispat türü ve algoritmik doğrulama ile ilgili aşağıdakilerden hangisi doğrudur?
A) Algoritmik doğrulama bu tür önermeler için geçersizdir