The end point of this lifted path need not be c, but it must lie in the fiber over x.
この持ち上げられた経路の終点は、c である必要はないが、x 上のファイバーの中に属す必要がある。