命题XXIV 定理XIX