次のテキストに基づいて質問する
有効グラフの基本性質について、以下のような命題を証明することができる。

命題：任意の有向グラフ G について、以下の２つの性質が成り立つ。

(1) G が強連結であることと、その補グラフ G' の（弱）連結成分が一つであることは同値である。
1. どのような命題が証明できることが述べられているか？
2. 命題の中で G' とは何を指しているか？
3. 強連結とはどのようなグラフの性質を持つか？
4. Gが強連結であるとき、G'の連結成分の数はどのようになるか？
5. G'の連結成分が一つのとき、Gはどのような性質を持つか？