>>608
左辺は必ず Pに入ってしまう。
右辺は Pから逸脱するおそれがある。
その違いを考えると

dim(P∩Q) > 0
かつ
dim(P∩R) > 0

かな。