Proving Theorems Recursively | Read Paper on Bytez