[001Y] Exercise 2.1·b.

Prove that $\SelfIx{B}$ from [001X] is a cartesian fibration if and only if $B$ has pullbacks.