唯一矩形类型1 UR Type 1
我们在之前的内容中讨论过唯一性和基础致命模式。为了确保唯一性，我们需要避免致命模式，这是唯一矩形的核心。
定义
UR类型1，指一个基础的致命模式带有一个其他数字的毛刺。为了避免致命模式成立，这个毛刺必定为真。
