별거 안해도 증명 가능한 자연슴