>>802
それやるならxからの逆像でy,zを定めないといけないんだけど
無限被覆だとy,zが無限にあるから全部の共通部分取る必要があるって話