値クラス　制約１