Paraphrase: The first integer formula _ 177 for which formula _ 178 is rank formula _ 179 has formula _ 180 .
The first integer formula 177 , for which Formula 178 is ranked , has Formula 179 the Formula 180 .