Li Huazhongin lause on lause universaalin suhteellisen ensimmäisen asteen invariantin ainutlaatuisuudesta klassiselle dynaamiselle järjestelmälle potentiaalikentässä .
Mikä tahansa universaali suhteellinen ensimmäisen asteen invariantti voi poiketa Poincaren invariantista vain vakiotekijällä, eli mille tahansa Poincarén invariantille on olemassa vakio , joka .
Integraaliinvariantti on integraalilauseke, joka riippuu koordinaateista ja momenteista ja pysyy muuttumattomana tietyillä valituilla suorien polkujen joukoilla (poluilla, joilla vastaavat Lagrange-yhtälöt täyttyvät). Suhteellinen on integraaliinvariantti, joka liittyy johonkin suljettuun ääriviivaan. Invariantin sanotaan olevan universaali, jos se ei sisällä Hamiltonin ja siksi se säilyy kaikille potentiaalikentissä liikkuville dynaamisille järjestelmille. Invariantin järjestys määräytyy sen joukon ulottuvuuden mukaan, jonka yli integrointi suoritetaan. Universaali Poincarén invariantti on ensimmäisen asteen invariantti, koska integrointi suoritetaan yksiulotteisen joukon yli (ääriviivan yli).
Universaalilla integraalilla Poincare-invariantilla on muoto
,jossa on jokin isokroninen ääriviiva (suljettu käyrä avaruudessa , jonka kaikilla pisteillä on sama -koordinaatti).
Ensimmäisen asteen universaali suhteellinen integraaliinvariantti yleismuodossa voitaisiin kirjoittaa seuraavasti:
.Li Huazhongin lause sanoo, että jos tämä määrä säilyy ajassa mille tahansa ääriviivalle riippumatta Hamiltonin ääriviivasta, niin sen arvot kaikilla muodoilla ovat vastaavasti verrannollisia arvoihin , ts. eroavat niistä vain kertomalla muodosta riippumattomalla vakiolla.