Updated prove.py.

Now the code does not check for equality of objects but of lines
but the problem is that the 'congruency' does not have order.
i.e. if xy=ab, bc=yz, and zx=ca, then the code tells me that
abc ~= xyz, which is correct, but also that acb ~= xyz, which is
completly wrong.
Removed open in github
Removed Comments
Rstripped prove.py