Recall Theorem 20, which says sum (map (1+) xs) = length xs + sum xs Explain in English what this theorem says. Using the definitions of the functions involved (sum, length and map), calculate the values of the left and right-hand sides of the equation using xs = [1, 2, 3, 4]