一场经典辩论,一个经典定理