当欠しないのは必要条件