Group has Latin Square Property/Proof 4

Proof
We shall prove that this is true for the first equation:

Conversely:

The proof that the unique solution of $h$ is $b \circ a^{-1}$ in the second equation follows similarly.