3.2.2 Equivalences page 28

[00152] = [00153] + [00154] + [00155] + [00159] + [00160]

[00155] = [00156] + [00157] [00158]

[00161] = [00162] + [00166] + [00167]

[00162] = [00163] + [00164] + [00165]

[00168] = [00169] + [00173] + [00174]

[00169] = [00170] + [00171] + [00172]

[00177] = [00178] + [00179] + [00180] + [00181] + [00182]

[00183] = [00184] + [00185]

[00188] ≤ [00187]

[00190] = [00152] + [00161] + [00168] + [00175] + [00176] + [00177] + [00183] + [00186] + [00187] + [00189]