La première formule entière 177, pour laquelle la formule 178 est classée, correspond à la formule 179, formule 180.
La première formule entière _ 177 pour laquelle la formule _ 178 a la formule de rang _ 179 est la formule _ 180.