Rigidity and unlikely intersections for formal groups

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.