존재 한정된 문장 A가 참임을 증명하려면 명제 P(x)가 참이 되는 논의 영역에 속한 하나의 x 값을 찾으면 된다.
To prove that the existentially quantified statement A is true, find one value of x in the domain of discourse for which the proposition P(x) is true.