Parse the provided theorem statement and compare it to the proof conclusion

Change the statements of existing theorems accordingly: into expressions that
the parser can parse.