An application of de Jong's theorem to commutative ring theory : Positivity conjecture of Serre and symbolic powers (Free resolution of defining ideals of projective varieties)