Organize the proofs a little better.

[xekoukou]

For instance the GradLemma file contains propIsEquiv. I found the proof by chance. We need to put the proofs into files with correct names so we can easily find them.

Another task would be to find correct names for the proofs.

I could do the first as good as I can.