A “proof by contradiction” is not a proof that ends with a contradiction | Dark Hacker News