code: def prod(F, E):
      """Check that the factorization of P-1 is correct. F is the list of
      factors of P-1, E lists the number of occurrences of each factor.
      """
      x = 1
      for y, z in zip(F, E):
          x *= y**z
      return x
  
label_desc: Use image node_id 1 for calling a global function with example usage: prod(F, E) and returns: x