Internal Direct Product Theorem/Examples