展开 婆罗摩及多定理证明