というか >>874 が矛盾したらP=NPの証明完了