Title: ジョン・ヒルトン・グレース (John Hilton Grace)
Section: 多項式の零点に関する定理

                    a        (        z        )        =                  a                      0                          +                                                            (                                            n                1                                            )                                                              a                      1                          z        +                                                            (                                            n                2                                            )                                                              a                      2                                    z                      2                          +        ⋯        +                  a                      n                                    z                      n                                {\displaystyle a(z)=a_{0}+{\tbinom {n}{1}}a_{1}z+{\tbinom {n}{2}}a_{2}z^{2}+\dots +a_{n}z^{n}}  ,                    b        (        z        )        =                  b                      0                          +                                                            (                                            n                1                                            )                                                              b                      1                          z        +                                                            (                                            n                2                                            )                                                              b                      2                                    z                      2                          +        ⋯        +                  b                      n                                    z                      n                                {\displaystyle b(z)=b_{0}+{\tbinom {n}{1}}b_{1}z+{\tbinom {n}{2}}b_{2}z^{2}+\dots +b_{n}z^{n}}  を                               a                      0                                    b                      n                          −                                                            (                                            n                1                                            )                                                              a                      1                                    b                      n            −            1                          +                                                            (                                            n                2                                            )                                                              a                      2                                    b                      n            −            2                          −        ⋯        +        (        −        1                  )                      n                                    a                      n                                    b                      0                          =        0              {\displaystyle a_{0}b_{n}-{\tbinom {n}{1}}a_{1}b_{n-1}+{\tbinom {n}{2}}a_{2}b_{n-2}-\cdots +(-1)^{n}a_{n}b_{0}=0}   を満たす多項式としたとき、一方の多項式の零点を含むすべての近傍は、少なくとももう一方の多項式の零点を1つ含む。