코코나로 증명가능한듯