Dada una recta expresable y otra de binomial dividida en sus términos, de manera que el cuadrado del término mayor sea mayor que el cuadrado del término menor en el cuadrado de una recta conmensurable en longitud con el mayor; si el término mayor es conmensurable en longitud con la recta expresable dada, la recta entera se llama primera binomial.