问题:A 冗余关系检查