Sea $S = \mathbb Z \times \mathbb Z$ . Un subconjunto $P$ de $S$ se llama agradable si\n$(a, b) \in P \implies (b, a) \in P$\n$(a, b)$ , $(c, d)\in P \implies (a + c, b - d) \in P$\nEncuentra todos los $(p, q) \in S$ tal que si $(p, q) \in P$ para algún conjunto agradable $P$ entonces $P = S$ .