,.good day everyone,.,need ur help with how to prove this,.

Let n>=2 be an integer with canonical representation n=p₁^{a₁}p₂^{a₂}p₃^{a₃}...p_{k}^{a_{k}}. an integer m>=1 is a positive divisor of n if and only if m=p₁^{b₁}p₂^{b₂}p₃^{b₃}...p_{k}^{b_{k}}, where 0<=b_i<=a_i for all 1<=i<=k.

thnx in advance...