faithful functor and preimage as diagram

Let be categories and a faithful functor.

Suppose there exist objects and morphisms such that the following diagram commutes

Then

already commutes

By assumption

by functorality, the LHS equals

therefore, since is faithful, we conclude, that

therfore, following commutes