Lema Lin2-Xor: una prueba OR que conduce a la prueba y firma de membresía