Olivia wrote the following indirect proof:
Prove: 17 is a factor of 323
Prove: 17 is a factor of 323