证明在关系数据库中，任何的二元关系模式必定是BCNF。