The discriminant is , so are primes of good reduction of an elliptic curve. The reduction of torsion points on an elliptic curve injects the prime-to- torsion into .
If a prime divided the order of , its primary subgroup would inject at every one of except possibly when . For , the counts at and have greatest common divisor one; for use the counts at and ; for use those at and ; every other would divide all three counts. Each possibility is excluded. Hence
An integral Weierstrass equation has good reduction outside the finitely many primes dividing its nonzero discriminant. This proves finiteness of the set of bad primes. To prove finiteness of rational torsion, choose two distinct good primes. The reduction of torsion points on an elliptic curve injects each primary component at a good prime of different residue characteristic, so the two finite reduced point groups bound every primary component of .
For
the displayed equation is minimal and
Its bad primes are therefore exactly
The good reductions at and have
Their coprime orders exclude every rational torsion primary component, including the residue-characteristic components by using the other prime. Hence