若关系模式R∈1NF，对于每一个非平凡的函数依赖X→Y，都有X包含码，则R最高一定可以达到[ ]。