把命题质数都是奇数改写成如果( )那么 ( )