이거 고딩수준에서 증명 가능한가