关系数据库的规范化理论规定，在执行分离时，必须遵守 【10】 ，保持原有的依赖关系和无损连接。

过点A（4，1）的圆C与直线x-y-1=0相切于点B（2，1），则圆C的方程为（    ）。