Comment by Jaxan

You still need a mathematician to check the statement of the theorem.