協調性の証明