A=Cを証明するのに伝言者Bは必要ありません
Cが確認できない時点で終了です