Add: Question 3 by contradiction.