a是质数,b也是质数,ab一定是质数