I have a question regarding the Mordell Weil theorem a number field $K$. I read the proof of the Mordell Weil theorem in "rational points on elliptic curves" by Tate and Silverman. They presented a proof for the case where $E[2] \in E (\mathbb{Q}) $ where $E : Y^2 = X(X^2 + AX + B)$ and mentioned before hand that it is possible to prove the case over number fields in the same fashion (thus without the use of group cohomology) with a little help of algebraic number theory.

After a bit of investigating, I concluded that every reasoning also holds for number fields except for the proof that the image of the map $\alpha : E(K) \rightarrow K^* / K^{*2}$ is finite (proposition 3.8(c)). In the proof they claimed that every squarefree integer representing the corresponging quadratic residue class divides $B$.

My reasoning for number fields was as follows:

Let $P = (x,y) \in E$, then $\alpha(P) = x \pmod {K^{*2}}$. Since $K$ is the field of fractions of $O_K$ (ring of integers) we have that $x = \frac{a}{b}$ for $a,b \in O_K$. Now consider $S_P := \{ \rho \in \text{Max}(O_K) \: : \: v_{\rho}(\alpha(P)) \neq 0 \pmod 2 \}$ where $v$ is just the valuation of the prime ideal factorization. My claim is that every prime ideal in $S_P$ must be a divisor of the ideal generated by $B$.

My question: is this correct? And if so, how do I prove this?

Thanks in advance.