命题XLII 定理XXXIII