drop(N, List, Final_list) is true if and only if Final_list is the result of removing the first N elements from List.