"İki tek sayının çarpımı tektir" önermesinin cebirsel ispatında $(2a+1)(2b+1)=4ab+2a+2b+1=2(2ab+a+b)+1$ şeklinde gösterim yapılıyor. Bu ispat yöntemi ile algoritmik doğrulama arasındaki ilişki için aşağıdakilerden hangisi söylenebilir?
A) Algoritmik doğrulama bu tür ispatların yerine geçebilir