证明一条数的整除性的定理

已知:a│pq,(p,q)=1.
求证:a│p,且a│q.
证明:
∵a│pq
设a=mpq, m∈Z※,
又(p,q)=1,
有p,q∈Z※,
∴a=(mp)q, mp∈Z※
从而a│q.
同理a│p.