规范归约和规范推导是互逆的两个过程。