多面体实现 B(infty)