命题LXV 定理XXV