A7161 | 午枫的矩形

样例解释 1

满足 $1 \leq i_1 < i_2 \leq n$ 且 $1 \leq j_1 < j_2 \leq m$ 的整数组 $(i_1, i_2, j_1, j_2)$ 一共有 $9$ 个，对于它们都成立 $a_{i_1, j_1} + a_{i_2, j_2} \leq a_{i_2, j_1} + a_{i_1, j_2}$。例如：

- 对于 $(i_1, i_2, j_1, j_2) = (1, 2, 1, 2)$，有 $a_{i_1, j_1} + a_{i_2, j_2} = 2 + 1 \leq 3 + 1 = a_{i_2, j_1} + a_{i_1, j_2}$。
- 对于 $(i_1, i_2, j_1, j_2) = (1, 2, 1, 3)$，有 $a_{i_1, j_1} + a_{i_2, j_2} = 2 + 3 \leq 3 + 4 = a_{i_2, j_1} + a_{i_1, j_2}$。
- 对于 $(i_1, i_2, j_1, j_2) = (1, 2, 2, 3)$，有 $a_{i_1, j_1} + a_{i_2, j_2} = 1 + 3 \leq 1 + 4 = a_{i_2, j_1} + a_{i_1, j_2}$。
- 对于 $(i_1, i_2, j_1, j_2) = (1, 3, 1, 2)$，有 $a_{i_1, j_1} + a_{i_2, j_2} = 2 + 4 \leq 6 + 1 = a_{i_2, j_1} + a_{i_1, j_2}$。
- 对于 $(i_1, i_2, j_1, j_2) = (1, 3, 1, 3)$，有 $a_{i_1, j_1} + a_{i_2, j_2} = 2 + 1 \leq 6 + 4 = a_{i_2, j_1} + a_{i_1, j_2}$。

其余的 $(i_1, i_2, j_1, j_2) = (1, 3, 2, 3), (2, 3, 1, 2), (2, 3, 1, 3), (2, 3, 2, 3)$ 也可以同样验证。

因此，输出 Yes。

样例解释 2

不满足题目中的条件，因此输出 No。例如，对于 $(i_1, i_2, j_1, j_2) = (1, 2, 1, 4)$，有 $a_{i_1, j_1} + a_{i_2, j_2} = 4 + 8 > 5 + 1 = a_{i_2, j_1} + a_{i_1, j_2}$。