3.2.4 Equivalences page 30

[00224] = [00221] + [00222] + [00223]

[00236] = [00224] + [00225] + [00226] + [00227] + [00228] + [00229] + [00230] + [00231] + [00232] + [00233] + [00234]

[00235] ≤ [00234]

[00247] = [00236] + [00237] + [00240] + [00241] + [00242]

[00237] = [00238] + [00239]

[00242] = [00243] + [00244] + [00245] + [00246]

[00257] = [00247] + [00248] + [00249] + [00253] + [00255] + [00256]

[00249] = [00250] + [00251] + [00252]

[00254] ≤ [00253]

[00259] = [00257] + [00258]

[00500] = [00529] + [00260]