同相関数と導来関数の対偶性