"a" o "b" son divisibles por "p".