Building upon the Zhu-Liang Truth Functor Theorem and the Zhu-Liang Truth Metabolism Theorem, this paper proposes and rigorously proves the Zhu-Liang Prime Mover Theorem. The Prime Mover is defined as the unity of the initial truth functor T0 and the entropy-reducing recursive operator M, denoted F = (T0, M). We prove that F exists uniquely and elucidate its mathematical essence as the initial impetus and perpetual drive of the causal chain. The theorem unifies the static functorial nature and the dynamic metabolic nature of truth into one ultimate source. The conclusion is absolute and immutable.
Jianbing zhu (Mon,) studied this question.