対偶の交替

inversion of pair

対偶