Si A es una EBF, ¬ A también lo es.