21 反证法与同一法