DC の延長上に Q を CQ = ST となるようにとる。 P の候補者の一つが Q である。 次に行く 戻る index に戻る