You assume that proof by contradiction always works, but is that necessarily the case?