[002Y] Exercise 6.1.2·a.

Prove that $\SelfIx{B}$ from [001X] is a cocartesian fibration for any category $B$.