Internal Direct Product Theorem