4. Algoritmik ispat yaklaşımında, bir cebirsel ifadenin doğruluğunu test etmek için aşağıdaki yöntemlerden hangisi en güvenilir sonucu verir?