  For CM elliptic curve over rational field with analytic rank one, for any
potential good ordinary prime p, not dividing the number of roots of unity in
the complex multiplication field, we show the p-part of its Shafarevich-Tate
group has order predicted by the Birch and Swinnerton-Dyer conjecture.
