>>123
他で証明されていれば間違った証明が正しいということにはならない