 closed in $X$ ([@EGA], IV.1.6.2 (i)).

Consider now $X_0 \to S$, which is clearly quasi-finite of finite presentation and flat. Since $X \to S $ is projective, $X_0 \to S$ is then also finite ([@EGA] IV.8.11.1). We apply Corollary \[bertini-cor1\] (a) to the finitely presented scheme $X':=(X \setminus X_0) \to S$ and the finite quasi-section $C' := C \times_X X'$. We obtain a hypersurface $H'$ containing $C'$, and using the same method as in the proof of the first statement of the theorem, we obtain a finite flat quasi-section $T'$ of $X' \to S$ containing $C'$. Then $T:= T' \cup X_0$ is the desired finite flat quasi-section.

To prove (3), we proceed as in (2), and remark that the hypersurface $H'$ obtained from Corollary \[bertini-cor1\] (a) is flat and locally principal, so that its fiber ${H'}_s$ is l.c.i. over $k(s)$ when $X_s$ is. By hypothesis, $X_0/S$ has only l.c.i fibers, and (3) follows.

\(4) When $d=0$, $X \to S$ is the desired finite quasi-section, since it is étale over the given open subset $U$ of $S$. Assume now that $d>0$. By hypothesis, $C \to S$ is finite and unramified, so that for each $s \in S$, $C_s \to {\operatorname{Spec}}k(s)$ is smooth. Moreover, since we are assuming that the fibers are pure of dimension $d$, Condition (iii) in \[generic\_smoothness\] is satisfied. We can therefore apply Proposition \[generic\_smoothness\] with $Z$, to find a hypersurface $H_f$ of $X\to S$ containing $C$ as a closed subscheme, with $H_f$ smooth over an open neighborhood $W$ of $Z$ in $S$. For all $s\in S$, $X_s$ is pure of dimension $d$ and $(
closed in $ X$ ([ @EGA ], IV.1.6.2 (i) ). 

 Consider now $ X_0 \to S$, which is intelligibly quasi - finite of finite display and flat. Since $ X \to S $ is projective, $ X_0 \to S$ is then also finite ([ @EGA ] IV.8.11.1). We lend oneself Corollary \[bertini - cor1\ ] (a) to the finitely present scheme $ X':=(X \setminus X_0) \to S$ and the finite quasi - section $ cytosine': = C \times_X X'$. We obtain a hypersurface $ H'$ containing $ C'$, and use the same method as in the validation of the first statement of the theorem, we obtain a finite flat quasi - incision $ T'$ of $ X' \to S$ containing $ C'$. Then $ T:= T' \cup X_0 $ is the desired finite flat quasi - section. 

 To testify (3), we proceed as in (2), and remark that the hypersurface $ H'$ obtained from Corollary \[bertini - cor1\ ] (a) is bland and locally principal, so that its fiber $ { H'}_s$ is l.c.i.   over $ k(s)$ when $ X_s$ is. By hypothesis, $ X_0 / S$ has merely l.c.i   fibers, and (3) follows. 

 \(4) When $ d=0 $, $ X \to S$ is the desired finite quasi - section, since it is étale over the give open subset $ U$ of $ S$. Assume now that $ d>0$. By hypothesis, $ C \to S$ is finite and unramified, so that for each $ s \in S$, $ C_s \to { \operatorname{Spec}}k(s)$ is legato. Moreover, since we are assuming that the fibers are pure of dimension $ d$, Condition (iii) in \[generic\_smoothness\ ] is satisfied. We can therefore apply Proposition   \[generic\_smoothness\ ] with $ Z$, to find a hypersurface $ H_f$ of $ X\to S$ containing $ C$ as a shut subscheme, with $ H_f$ smooth over an exposed neighborhood $ W$ of $ Z$ in $ S$. For all $ s\in S$, $ X_s$ is saturated of property $ d$ and $ (
 cllsed in $X$ ([@EGA], IV.1.6.2 (i)).

Considtr now $X_0 \to S$, whiey is cnearly quasi-fivite of finite presentation end dlat. Wince $X \to S $ is projeztive, $X_0 \tl S$ is tyen elso finite ([@EGA] MB.8.11.1). We apijy Ckvollaxy \[bertini-cor1\] (a) jo the finitaly presented vcfele $X':=(X \setminus X_0) \to S$ and the finitq quasi-xeftion $C' := C \timgs_X X'$. Re ognaln a hypersurface $H'$ containing $C'$, and uspng the same methpd as in the proof of the virsh statement of the theorem, we obtwun a finite wlat quasi-section $T'$ of $X' \to S$ containing $C'$. Then $T:= T' \cjp X_0$ ns the desitze fltite flat qnasi-sebtion.

To prove (3), we proweed as in (2), and remarl tiat rhe hypersurface $H'$ obvained from Corollari \[bertini-cmr1\] (a) is flat and loxaoly ptinci[al, ri tfat ivs riber ${J'}_s$ ms l.c.i. over $i(s)$ when $X_s$ us. By hypothesis, $X_0/S$ hww only l.c.i fibsrs, anq (3) follows.

\(4) When $d=0$, $X \to S$ is the desired fpnits quasi-section, since it is étale over the givgn open sufset $U$ of $S$. Assume now that $d>0$. By hypothesis, $C \to V$ is hivitt qnd uvealified, so that for each $s \in S$, $C_s \to {\operatorgzmt{Spvc}}k(s)$ is smooth. Moveover, since we arr wsxoming that the fibers ade pure of dimensiln $d$, Cogditiin (iii) in \[genrric\_smoothness\] is satisfied. We can thervforw apply Propositiou \[generic\_smoochness\] with $Z$, to find a hypersurfaee $H_f$ kf $X\to S$ cojtaining $D$ as a closed subrchvme, fith $H_f$ smooth over an opeg neighbochood $W$ of $Z$ in $X$. For wll $s\in S$, $D_s$ is pure of dimension $f$ and $(
closed in $X$ ([@EGA], IV.1.6.2 (i)). Consider \to which is quasi-finite of finite \to $ is projective, \to S$ is also finite ([@EGA] IV.8.11.1). We apply \[bertini-cor1\] (a) to the finitely presented scheme $X':=(X \setminus X_0) \to S$ and finite quasi-section $C' := C \times_X X'$. We obtain a hypersurface $H'$ containing and the method in the proof of the first statement of the theorem, we obtain a finite flat quasi-section of $X' \to S$ containing $C'$. Then $T:= \cup X_0$ is the finite flat quasi-section. To prove we as in and that hypersurface $H'$ obtained Corollary \[bertini-cor1\] (a) is flat and locally principal, so that its fiber ${H'}_s$ is l.c.i. over $k(s)$ $X_s$ is. $X_0/S$ has l.c.i and follows. \(4) When \to S$ is the desired finite is étale over the given open subset $U$ $S$. Assume that $d>0$. By hypothesis, $C \to is finite and unramified, so that for each \in S$, $C_s \to {\operatorname{Spec}}k(s)$ is smooth. Moreover, since we are assuming that the fibers of dimension $d$, Condition in \[generic\_smoothness\] is We therefore Proposition with $Z$, find a hypersurface $H_f$ of $X\to S$ containing $C$ as a subscheme, with $H_f$ smooth over an open neighborhood $W$ of $S$. all $s\in S$, is pure of dimension and
 closed in $X$ ([@EGA], IV.1.6.2 (i)).

Consider noW $X_0 \to S$, which Is cleArlY quAsI-finIte oF finite presentATion And flat. Since $X \to S $ is projEctivE, $X_0 \TO S$ is THeN also Finite ([@Ega] Iv.8.11.1). wE apPlY COroLlARy \[BertiNi-cOr1\] (a) to thE finitely pResEnTed scheme $X':=(X \sETmInus X_0) \to S$ anD thE finite quasi-SecTion $C' := C \TiMes_x x'$. We obTaiN a hypErsurfACe $H'$ conTaining $C'$, aNd USing thE Same metHOD aS in tHe proof of the first STaTEment of the theoRem, we oBtAIn A FIniTe fLat quasi-seCtIon $T'$ oF $x' \to S$ conTAiNING $C'$. THEn $T:= T' \cup X_0$ is the Desired finiTE flAt quasI-sEctIOn.

To prOve (3), we PrOCeeD as in (2), and remArk tHat the hypErsurfACe $H'$ obtaINed from corollAry \[BerTini-COr1\] (A) iS flAt ANd lOCaLly PRinCipal, so tHaT iTs fibEr ${H'}_s$ IS L.C.I. oveR $k(s)$ When $x_s$ is. BY hypothesis, $X_0/S$ Has Only L.C.i fIbers, And (3) foLlowS.

\(4) WHen $d=0$, $X \To S$ is tHe desIrEd finite quasi-seCtioN, since it iS étAlE ovEr The giVEn open SubSet $u$ of $S$. AssUme now tHAt $d>0$. by HYPOtHesis, $C \to S$ is finite aNd UNRaMified, so That foR EaCh $S \In S$, $C_s \to {\oPeRatOrnaME{spec}}k(S)$ is sMOoTh. MoreovEr, sincE We ArE assumiNg That thE fIbeRs aRe purE Of diMensioN $d$, ConditIon (iiI) In \[generic\_smootHNess\] is satisfiED. WE CAn THereForE apply PropoSitiON \[genEric\_SMoOthNEss\] wiTh $Z$, to FiND a HYpersurface $H_f$ of $X\to S$ CoNtainiNg $C$ as A closed subschEme, with $H_f$ sMOOTh over an Open NEiGHborhood $W$ of $Z$ in $s$. For aLl $s\in S$, $X_s$ is PUre of dimEnsioN $d$ and $(
 closed in $X$ ([@EGA], IV .1.6.2 (i) ).

C ons ide rnow$X_0  \to S$, which is c learly quasi-finite of  fini te pres e nt ation  and fl a t. S inc e$X  \t oS  $  is p roj ective,  $X_0 \toS$is  then also f i ni te ([@EGA]  IV .8.11.1). We  ap ply Co ro lla r y \[b ert ini-c or1\]( a) tothe finit el y  prese n ted sch e m e$X': =(X \setminus X_0 )  \ t o S$ and the f initequ a si - s ect ion  $C' := C\t imes_ X  X'$. W e  o b t a ina  hypersurface  $H'$ conta i nin g $C'$ ,and usingthe s am e  me thod as intheproof ofthe fi r st stat e ment of  the t heo rem , we ob ta inaf ini t efla t  qu asi-sect io n$T'$of $ X ' \ to S $ c onta ining  $C'$. Then $ T:=  T'\ cup  X_0$  is t he d es iredfinite  flat  q uasi-section.
To p rove (3),  we  p roc ee d asi n (2),  an d r emark t hat the hyp er s u r fa ce $H'$ obtained f ro m Co rollary\[bert i ni -c o r1\] (a)  i s f lata n d loc ally pr incipal,  so th a tit s fiber  $ {H'}_s $isl.c .i. o v er $ k(s)$when $X_ s$ is .  By hypothesis ,  $X_0/S$ haso nl y l. c .i f ibe rs, and (3)  fol l ows. 

\( 4 )Whe n  $d=0 $, $X  \ t oS $ is the desired fi ni te qua si-se ction, sinceit is étal e o ver thegive n  o p en subset $U$of $S $. Assumen ow that$d>0$ . By hyp othesis,$ C  \to S$isfin ite  an d un ramified, sot h at f or  each $ s \ in S$,$C_ s \ to{\o pe ratorname {Spec}}k (s )$  i ssmo oth.M oreover,  s inc eweare a s suming  that  the  f ib e rsare pur e  o f dime ns io n $d $,Co nditi on ( i ii)  in \[g eneric\_s moo t hnes s\ ]is sati sfied. We can  t herefore a pp lyPropos i t ion \[ge neric\_smoothness\] wit h  $Z$, t o f ind a  hyp ersurface  $H _f$ of  $X \ to S$contai ning$C $ a s a clo s e dsub sc heme, with $ H_f $ smo ot h ov er an o pen neighborhood $ W $ o f $Z$ in $S$.  Fo r al l $s \in S$ ,  $X _s $  is p ure of dimensio n $d$ and$( 
 closed_in $X$_([@EGA], IV.1.6.2 (i)).

Consider now_$X_0 \to_S$,_which is_clearly_quasi-finite of finite_presentation and flat._Since $X \to S_$ is projective,_$X_0_\to S$ is then also finite ([@EGA] IV.8.11.1). We apply Corollary \[bertini-cor1\] (a) to_the_finitely presented_scheme_$X':=(X_\setminus X_0) \to S$ and_the finite quasi-section $C' :=_C \times_X_X'$. We obtain a hypersurface $H'$ containing $C'$,_and_using the same_method as in the proof of the first statement_of the theorem, we obtain a_finite flat quasi-section_$T'$_of_$X' \to S$ containing_$C'$. Then $T:= T' \cup X_0$_is the desired finite flat quasi-section.

To_prove (3), we proceed as in (2),_and remark that the hypersurface $H'$_obtained from Corollary \[bertini-cor1\] (a)_is flat_and locally principal, so that_its fiber ${H'}_s$_is l.c.i. over_$k(s)$ when $X_s$_is. By hypothesis, $X_0/S$ has only_l.c.i fibers, and (3)_follows.

\(4) When $d=0$, $X \to S$_is_the desired finite_quasi-section,_since_it is_étale over the_given_open subset_$U$_of $S$. Assume now that $d>0$._By_hypothesis, $C \to S$ is finite and_unramified, so that for_each_$s \in S$, $C_s_\to {\operatorname{Spec}}k(s)$ is smooth. Moreover,_since we are assuming that the_fibers are_pure of_dimension $d$, Condition (iii) in \[generic\_smoothness\] is satisfied. We can therefore_apply Proposition \[generic\_smoothness\] with $Z$, to find_a hypersurface $H_f$ of_$X\to S$_containing_$C$ as a_closed_subscheme, with_$H_f$ smooth over an open neighborhood $W$_of $Z$_in $S$. For all $s\in S$,_$X_s$ is pure of_dimension_$d$ and $(