若q是p的充要条件则q是p的必要条件,