$f:(X,x_0)\to(Y,y)$ nin de yükseltilme kriterinin sağladığını kullanarak, $ f:(X,x_1)\to(Y,y)$ nin de yükseltilme kriterinin sağladığını göstermek de (daha basit) bir yol. $\pi(X,x_0)$ ile $\pi(X,x_1)$ arasındaki ve $f_*(\pi(X,x_0))$ ile $f_*(\pi(X,x_1))$ arasındaki ilişkiyi kullanmak gerekiyor.