prueba que x + y está en H.