Milnor's interchange symmetry argument

I'm teaching a differential geometry course this semester and having fun with it. This is kind of over-the-top use of computer graphics, but...