--- Integer.from_prime_division(pd)
      ǰʬpd롣
      pd[ǰ, ؿ]ȤǤ롣
        :
        Integer.from_prime_division [[2,3],[3,2]]
        -> 72 # == 2**3 * 3**2

