\Dg F\times K\times U & \rTo ^{\rm proj} & & K\times U \\ \dTo & & & \dTo >{\rm proj} \\ F\times _K (K\times U) & {} \approx F\times U & \rTo ^{\rm proj}& U \\ \endDg