If x + 7 = 9, then x ≠ 8.
If we were to use an indirect proof to prove this statement, then what would we assume true?

a. x = 8
b. x + 7 ≠ 9
c. x ≠ 8