John concludes that, since (x - 5) is a factor of the polynomial x2 - 25, if he performed the long division (x2 - 25) ÷ (x - 5), the remainder would be zero. This is an example of ___________ reasoning(x2 - 25)

John concludes that, since (x - 5) is a factor of the polynomial x2 - 25, if he performed the long division (x2 - 25) ÷ (x - 5), the remainder would be zero. This is an example of deductive reasoning(x2 - 25).