a∩c=φ、b≡cとなるcを取り直せばいいから