이거 하나로 증명가능