An indirect proof starts with the assumption that the statement we are tying to prove is not true.
4 is not a factor of n.
An indirect proof starts with the assumption that the statement we are trying to prove is not true. In this case, we should focus on the conclusion of the conditional statement.
If8 is a factor ofn_(Hypothesis), then4 is a factor ofn_(Conclusion).
The negation of this statement will give us the necessary assumption.
Assumption: 4 is not a factor ofn.
