解释一下这句话的意思“若质数p | ab,则必有p | a或p | b”