互換関係は完全再現と