This proving of such and such I found to be almost like cheating. You start somewhere, and then you go into a dark tunnel, and then you come out at another place. You find that you have proved what you wanted to prove, but in the tunnel, you don't see anything.