展开 婆罗摩及多模型证明