the proof is left to the reader, kind of a thing

It's working again, thanks