Comment by grandempire

It looks like you just have a few pages written. Is that right?

Which theorem are you trying to prove?