\(a = Z\) とする.

\(X \leq Z\) なら \(a\) から \(1\) を減らす.

\(Y \leq Z\) なら \(a\) から \(1\) を減らず.

\(a\) が答えとなる.