external direct product theory