[0030] Exercise 6.1.3·d.

Prove that $\overline{B}$ is a cartesian fibration for any category $B$.