$$
\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
$$
