In the LMFDB database, there are 337912 elliptic curves over $\mathbb{Q}$ for which the rank is 1 and the conductor is a prime number.
All of these curves have trivial torsion group.
Is there a known proof to the effect that any such curve must have trivial torsion?
Regardless of whether a proof is known or not - is this phenomenon connected to some more general story?