Internal Direct Product Theorem/Proof 3

Proof
A specific instance of the general result, with $n = 2$.