>>787
どちらのパターンに言及してるのか？がまず分からない
＆
合意失敗なら証明されている