展开 婆罗摩笈多模型证明垂直