>>749
その問題単独ではA∩B=φでも問題ないが、
誘導の流れとして必要だったりしないか?