>>753
背理法とかいう以前の論理で間違ってるわけだが