이미 그런데서 증명할 필요가 없어서 안나오나?