Proving the Law of Non-Contradiction Through Contradiction