在函数信赖中，平凡的函数信赖根据Armstrong推理规则中的（）律就可推出。