证明充要条件是怎么证的?例:A的充要条件是BA证到B,证的是必要性B证到A,证的是充分性请问:1这里的证明中用到的“必要