Génère une phrase qui signifie la même chose que celle-ci : "La première formule entière _ 177 pour laquelle la formule _ 178 est la formule de rang _ 179 a la formule _ 180."
La première formule entière 177, pour laquelle la formule 178 est classée, a pour formule 179 la formule 180.