组成几何不变且无多余约束体系的两刚片法则是（）。