sentence1: La première formule entière 177, pour laquelle la formule 178 est classée, a pour formule 179 la formule 180.
sentence2: La première formule entière 177, pour laquelle la formule 178 a le rang de formule 179, est la formule 180.