# on smoothness of morphisms on an artinian base

Let $A$, $B$ two smooth $R$-algebras of finite type for a artinian local ring $R$.

Let $I$ an ideal such that $I^{2}=0$ and $\bar{R}=R/I$.

We assume that the map $Spec B/IB\rightarrow Spec A/IA$ is smooth,

do we have that $Spec(B)\rightarrow Spec(A)$ is smooth?

-