Question 392001
Yes, we are proving the existence of an empty set.