円周上に自由に4点ABCDをとる。四角形ABCDが円の中心を含む確率を求めよ。