Write a Python function ABCs that takes in two lists of the same length, letters and numbers, and returns a single logical value (True or False) representing the truth value of the following proposition. Read the notes below before starting to write code Vx (even(a) - vowel()) The domain for z is all indices within the letters and numbers lists. For example even(1)- T if numbers1 is ever even(1)-F if numbers1 is odd vowel(1)-Tif letters 1 is a vowel vowel(1)-Fifletters1 is a consonant Note 1: You can copy-paste the code declaring letters and numbers for the various visible test cases below. We strongly encourage you to do this to test your code. Note 2: You may assume that: the numbers list will consist of only positive integers (1, 2, 3,..: the letters list will consist of only capital English letters as character strings ('A, 'B', 'C', .): the first argument of ABCs0 should be letters and the second argument should be numbers letters and numbers will be the same length; e and that length will be at least 1 (no empty lists). Note 3/Hint: You can check if a variable z is in a Python list A by using: "X in A". And a useful list to define might be: vowels A','E','l','O','U] For example Test Result False letters-A, B', numbers1,2,3 ] print (ABCs (letters, numbers)) letters ('A' , ' A' , 'A,'A' ] numbers [1, 2, 3, 4 print (ABCs (letters, numbers)) True letters-Z A, 'I, 'I, B', True numbers1, 20, 4 16, 123, 100] print (ABCs (letters, numbers))