4.3 形式法则