9. Tümevarım yöntemiyle bir cebirsel ifadeyi ispatlarken, algoritmik yaklaşımda aşağıdaki adımlardan hangisi zorunlu değildir?