A \/ B in Fin (PFuncs V,C) ;
hence A \/ B is Element of Fin (PFuncs V,C) ; :: thesis: verum