A Question on "flatness is preserved by base change" Let $f:X\to Y$ be a morphism, $\mathcal{F}$ be an $O_X$ module which is flat over $Y$, let $g:Y'\to Y$ be any morphism. Let $X'=X\times_YY'$, let $f':X'\to Y'$ the second projection, and $\mathcal{F'}=p_1^*(\mathcal{F})$ .Then $\mathcal{F'}$ is flat over $Y'$. (Hartshorne p254 9.2)
I think we have to show: $\forall x'\in X'$, $p_1^*(\mathcal{F})_{x'}$ is flat over $O_{Y,f'(x')}$. 
And $p_1^*(\mathcal{F})_{x'}\cong{(p_1^{-1}\mathcal{F}})_{x'}\otimes_{(p_1^{-1}O_{X})_{x'}}O_{X',x'}\cong\mathcal{F_{p_1(x')}}\otimes_{O_{X,p_1(x)}}O_{X',x'}$ .
We have $\mathcal{F}_{p_1(x')}$ is flat over $O_{Y,f(p_1(x'))}$.
Is it meaningful to discuss flatness of non-qcoh sheaves?
By the module version, we have $\mathcal{F_{p_1(x')}}\otimes_{O_{Y,f(p_1(x))}}O_{Y',f'(x')}$ flat over $O_{Y',f'(x')}$ 
Is this the stalk desired? (since $A_p\otimes_{C_p}B_p\cong(A\otimes_C B)_p $ does not hold.) How to make it right?
 A: Let $x^\prime\in X^\prime$, $x=p_1(x^\prime)$, $y^\prime=f^\prime(x^\prime)$, and $y=f(x)$. Let $V\subseteq Y$ be an affine open around $y$, $x\in U\subseteq f^{-1}(V)$ an affine open around $x$, and $y^\prime\in V^\prime\subseteq g^{-1}(V)$ an affine open around $y^\prime$. Then $U^\prime=U\times_VV^\prime$ is an affine open in $X^\prime$ around $x^\prime$ (it is $p_1^{-1}(U)\cap (f^\prime)^{-1}(V^\prime)$). Restricting $\mathscr{F}$ to $U$ and then pulling back to $U^\prime$ is the same as pulling $\mathscr{F}$ back to $X^\prime$ and restricting to $U^\prime$, and since stalks can be computed in any open neighborhood of a point, we may assume all the schemes involved are affine: $X=\mathrm{Spec}(B),Y=\mathrm{Spec}(A),Y^\prime=\mathrm{Spec}(A^\prime),X^\prime=\mathrm{Spec}(B^\prime)$, where $B^\prime=B\otimes_AA^\prime$. If $\mathscr{F}$ is a quasi-coherent sheaf on $X$, then $\mathscr{F}$ is associated to a $B$-module $M$, and $p_1^*\mathscr{F}$ is associated to 
$M\otimes_BB^\prime=M\otimes_B(B\otimes_AA^\prime)=M\otimes_AA^\prime$,
and this is $A^\prime$-flat if $M$ is $A$-flat. 
