Assume by contradiction