The following code given a string, s will return the reversal of s, sr. for example, given the string "cat", the function will return the string "tac". prove the following claim: for any string, s, the function reverse correctly returns the reversal of s, sr. string reverse(string s){ int len = s. length(); if (len == 0) return s; return (s[len-1]+reverse(s. substr(0,len-; }