En el artículo de Wikipedia
https://en.wikipedia.org/wiki/Wieferich_prime
en la sección
"Conexión con otras ecuaciones"
Vine a través de la ecuación de $$2|x_1=u$$ The explanation seems to indicate that $2 | x_1 $ is the valuation of the lowest solution with respect to $2$.
¿Entenderlo correctamente?