R3

实现约束