R³中稳态Navier–Stokes方程的Liouville型定理 | Synapse