Proving Theorems Recursively Haiming Wang