最新命题,定理