on a donc cette proportion :
et l’on aura :
ou bien
suivant que l’on aura l’une ou l’autre de ces deux inégalités
lesquelles reviennent à celles-ci :
Or si l’on donne à une valeur plus grande que l’unité, c’est-à-dire, si l’écluse est composée de deux ou d’un plus grand nombre de sas, les seconds termes des inégalités précédentes deviennent des quantités fractionnaires.
D’un autre côté, quel que soit le nombre de bateaux formant le convoi, ce nombre sera toujours un nombre entier, on aura donc toujours, sauf le cas particulier de
Et par conséquent