Question
Is `(x +_4 y \ , 2) in (x +_4 y \ , 0) + A` `(= (x +_4 y \ , 4) + A)` ?
Close the window and click for the next page...
Close the window and try once more...