  Let K be a p-adic field and let F and G be two formal groups over O_K. We
prove that if F and G have infinitely many torsion points in common, then F=G.
This follows from a rigidity result: any bounded power series that sends
infinitely many torsion points of F to torsion points of F is an endomorphism
of F.
