Simple lemmas about cotangent complex for sheaves rings