Give an inductive definition of the function rev which takes a list and returns its reverse. In your definition, you can use the append function L1++L2 which apends two lists L1 and L2. Use your definition to verify that rev [4,3,7]=[7,3,4]