证明下列谓词公式为永真式:∀y(A(y)→∃xA(x))。