Error produces by invalid proof

Generated using TypeDoc