Karl Rubin (1987) proved this for some elliptic curves of rank at most 1 with complex multiplication.
Rubin (1987) bevisade detta för vissa elliptiska kurvor med rang högst 1 med komplex multiplikation.