Small fix in proof environment.
Adding content for 011 and adding induces cross-references