>>417
y=bp^nでpとnは不変なのだから、b'に対応するy'は
y'=b'p^nではないのでしょうか？