Alexander polynomial: knot theory -- Hopf bifurcation theorem: dynamical system theory -- Kalman filter: control theory -- Hahn-Banach theorem: functional analysis -- Shannon coding theorem: ...