Eh, if there are problems with the proof, it isnt because of that. All proofs by contradiction eventually claim the negation of their premise must be true. That's the point.