Added Theorem 1 with proof in Appendix B.