variety X의 subscheme Y가 local complete intersection인게 X에 의존하지 않는 Y의 성질이란걸 핫숀 remark에서 봤는데 먼가 지금까지 2장에서 본것중 가장 nontrivial한 사실같음 물론 증명은 지금수준에서 못하고 레퍼런스로 넘기던데