[洋葱] 代数证法(0312)：总统的证明