f:(X,x0)→(Y,y) nin de yükseltilme kriterinin sağladığını kullanarak, f:(X,x1)→(Y,y) nin de yükseltilme kriterinin sağladığını göstermek de (daha basit) bir yol. π(X,x0) ile π(X,x1) arasındaki ve f∗(π(X,x0)) ile f∗(π(X,x1)) arasındaki ilişkiyi kullanmak gerekiyor.