>>412
AとBを定義しているからA1〜AxやB1〜Bxもその定義と同様ということです。
B1からBxはp以外の素数からなります。