原命题等价于逆否命题。用于理解素数判断6X法

【一般范式】

原命题：若a，则b。
逆否命题：若非b，则非a。

【具体例子】

原命题：当n≥5时，如果n为素数，那么n%6=1或n%6=5。
逆否命题：当n≥5时，如果n%6!=1且n%6!=5，那么n不为素数。