性证明可以参考下面 Markl-Shnider-Stasheff 的书。
详解.Stasheff是怎样得到A无穷代数的结构的呢？我们下面以一个具体的例子，同时也是Stasheff所考虑的原型来说明。设formula_32是一个拓扑空间，formula_33为其上一点。记formula_34称为formula_32的环路空间（based loop space）。在formula_36上我们可以定义一种乘法，如下：任给formula_37，formula_38回忆学习基本群的时候，我