ula_18整除时，formula_19（例如formula_20），因此若formula_21是质数，formula_17必须是质数。现在已知formula_23时，formula_21是质数，而formula_25的formula_21则可能是伪素数。