反之亦然同理，推论自然成立。略去过程Q.E.D.，由上可知证毕。