Applet, mono version
This applet deals comprehensively with hexlet.
This applet uses Javaview
If you have difficulties viewing the applet, click here
In this applet, there is great flexibility to choose radii, transparencies, etc., which allows you to clearly see the effect of the transformation used in the proof - an inversion centered at the tangency point of the blue and red surfaces - to reduce the question to a simpler one, with two planes instead of two spheres: