Internal direct product

Summary