一であることを保証する制約