设G是无向简单图，δ（G）≥2，证明G中存在长度大于或等于δ（G）+1的圈。

在公式P（x，y）∧（∀x）（Q（x，z）→（∀x）R（x，y，z））中，试对约束变元进行换名，对自由变元进行代入。

有向图D如图所示。

（1）D中有多少种非同构的圈？有多少种非同构的简单回路？
（2）求a到d的短程线和距离d〈a，d〉。
（3）求d到a的短程线和距离d〈d，a〉。
（4）判断D是哪类连通图。
（5）对D的基图求解（1）、（2）、（3）。

在公式（∀x）（P（x）→（Q（x）→（R（x）∧S（x））中，试对约束变元进行换名，对自由变元进行代入。