Comment by rcme

Law of excluded middle. The two statements are equivalent.