참이지만 증명은 못하는 거 맞나

아니면 참인지도 모르나