>>93
それは、zの素因数に含まれるbの素因数がz'だと仮定している
というだけのことですけど?