The existence ofa subwoofer AKEF implies the existence of a domwoofer SCoe enoleg