3.2.1 Equivalences pages 27 and 27 bis

[00102] = [00103] + [00104] + [00105] + [00106]

[00106] = [00107] + [00108] + [00109]

[00110] = [00111] + [00112] + [00113]

[00113] = [00114] + [00115] + [00116]

[00117] = [00118] + [00119]

[00120] = [00121] + [00122]

[00122] = [00123] + [00124] + [00125]

[00129] = [00130] + [00131] + [00132]

[00133] = [00134] + [00138]

[00134] = [00135] + [00136] + [00137]

[00139] ≤ [00138]

[00140] = [00141] + [00142]

[00143] = [00144] + [00145]

[00146] = [00147] + [00148] + [00149]

[00151] = [00101] + [00102] + [00110] + [00117] + [00120] + [00126] + [00127] + [00128] + [00129] + [00133] + [00140] + [00143 ] + [00146] + [00150]