想要证明A就证明A，想要证明B就证明B，如果证明A能同理可证B，则可以由A推证B，否则，还是老老实实的证明想要证明的，步骤不能跳，证明条件不能省略
--
FROM 112.97.49.*