Since neither nor is a square, both cubics have exactly one rational root, zero. Thus each torsion point of an elliptic curve group has exactly one nonidentity 2-torsion, namely .
Neither curve has a rational point of order four. Indeed on the duplication formula gives
If , then is neither the identity nor a 2-torsion, so the denominator is nonzero and . Thus must be a rational square; an integer that is a rational square is an integer square. Applying this with or contradicts the hypotheses.
If , both curves have good reduction of an elliptic curve at three and exactly four points over . To see this, there, so the equation is . For the right side runs through all residues, and for it is always zero; either way there are three affine points. Injection of torsion point of an elliptic curve at this odd good prime bounds each torsion element order by four. An order-four torsion subgroup with just one nonzero 2-torsion would contain an order-four point, which was excluded. Therefore in this case both torsion subgroups equal .
The remaining case is . The literal hypothesis then ensures , so both curves have good reduction of an elliptic curve at five. Direct square counting gives
For example the square residues are ; substituting gives this table, including the point at infinity. The pair has residues or in some order. In either pair at least one reduction group has order two or four. The same injection and absence of order-four points then force that curve's torsion point of an elliptic curve to have order two. Thus
This torsion alternative for opposite quartic-twist coefficients uses only ; it does not strengthen the source hypothesis to coprimality with fifteen.