이는 프롬이 앞서 증명함