12.2.2 数学理论实现