궁금함. 만약 비구성적증명이라면
어떤 유리수의 존재성을 보일 때
Archimedean Property를 이용해서
n,m값을 구해 n/m으로 제시하여 증명한건

구성적 증명임? 아니면 이거역시도 비구성적 증명임?

- dc official App