You searched for: "prove by contradiction"