Proof by contradiction and reduction A'D absurdum?