title: Prove that reverse=rev
body: <p>I have some task to do, but don't know how to do it:</p>
  
  <pre><code>reverse, rev :: [a] [a]
  
  reverse [] = []
  reverse (x:xs) = reverse xs ++ [x]
  
  rev = aux [] where
      aux ys [] = ys
      aux ys (x:xs) = aux (x:ys) xs
  </code></pre>
  
  <p>"Prove that : reverse=rev"</p>
  
  <p>Your help would be appreciated. Thank you.</p>
  
  <p>PS. I can do it using some example but i think thats not professional</p>