koher 1/23/2020 3:17 PM

うん

3:17 PM

上界と下界が一致するとき（つまり == ）だけ