\(N = M\) なら Yes である.