>>621
それは、積集合が空集合ではないというだけではないのでしょうか？

>>623
そうですね、p=1の場合は確かにそうなります。それでは全てのpで成立するという式が
でてきた場合に、⑤が全てのpで成り立つ条件はa=0、b=0ではないのですか？