>>55
う〜ん，「PQ＝O ⇒ P=OまたはQ=O」ということは，
PQ＝Oが成り立つ場合は絶対，P=OかQ=Oが成り立ってるって事ですよね。