証明おねがい

1, 2, ≠ などの定義も必要だよね どうすんの?