La primera fórmula entera _ 177 per a la qual la fórmula _ 178 és una fórmula de rang _ 179 té fórmula _ 180 .
La primera fórmula entera 177, per a la qual es classifica la Fórmula 178, té la Fórmula 179 la Fórmula 180.