問題文
正の整数 A,B,C,D が与えられます。
関数 f1(x,y),f2(x,y),f3(x,y) がそれぞれ min(x,y),max(x,y) のいずれかと等しいとき、以下の式が成り立つ場合が存在するか判定してください。
f1(A,B)+f2(B,C)=f3(C,D)
ただし、min(x,y) は x と y のうち大きくない方を表し、max(x,y) は x と y のうち小さくない方を表します。
制約
- 1≤A,B,C,D≤100
- 入力は全て整数
入力
出力
判定した結果を一行に出力せよ。
与えられた等式を満たす場合は Yes
, 満たさないない場合は No
を出力せよ。
例
f1(x,y)=min(x,y),f2(x,y)=max(x,y),f3(x,y)=max(x,y) のとき、f1(A,B)+f2(B,C)=f3(C,D)を満たします。
どのように f1(x,y),f2(x,y),f3(x,y) を決定しても、f1(A,B)+f2(B,C)=f3(C,D) を満たしません。