proved base case