7.5.3 4种等价形式