命题LXXIII 定理XXXIII