When is proof by contradiction necessary? | Heykuki News