AがBであるための必要十分条件であることは、BがAであるための必要十分条件であるための、必要十分条件である。