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