世界上第一个提出十二平均理论的是（）。