A “proof by contradiction” is not a proof that ends with a contradictionexistentialtype.wordpress.com 2subtenante9ydiscuss