Define the following operation, called OP1, on two languages: OP1(A,B)={ww=ab, where w is a string, a/A, and bB} Prove that class of regular languages is closed under the OP1 operation: - Give the equivalent IF-THEN statement that must be proved. - Give a proof of this IF-THEN statement