giải hệ `{(x^y = y + 1),(x! + y! = x + y):}`

lưu ý : không được sd cách sau:

điều kiện `=> x^2 + y^2 > 0 ; x ; y \in NN`
bài toán trở thành giải pt nghiệm nguyên không âm : `x^y = y + 1`
`+) x = 0 => y = - 1(L)`
`+) x = 1 => y + 1 = 1 <=> y = 0`
thử lại với pt `2 => ktm`
`+) x = 2 => 2^y = y + 1`

`++) y = 0 => tm`

thử lại với pt `2 => ktm`
`++) y = 1 => tm`
thử lại với pt `2 =>` đúng `=> n`
`++) y >= 2` , tự cm quy nạp `=> 2^y > y + 1`
`+) x >= 3` , quy nạp tt `=> y = 0` là n duy nhất

mà `y = 0 => x! + 1 = x(x >= 3)`

tự cm dc `VT > VP => L`

vậy : `(x ; y) = (2 ; 1)`