근데 그래서 증명과정에 도구로 썻던

루트2의 루트2제곱은 유리수냐 무리수냐 ?