：同學我們這邊用反證法