事实证明，拥有快速求和检查证明者的关键是以越来越聪明的方式应用分配律。