A Stronger Conclusion!

This applet is a follow-up to this Internal + External Tangents Action applet. How can you formally prove what this applet informally illustrates?