対偶の拡張

expansion of pair