必要条件を満たさないケースの存在