Correct. The hypothesis (that a and b are real numbers) leads you to the conclusion (that $\displaystyle{a}\cdot{b}={b}\cdot{a}\usepackage{cmbright}\Huge\$ ).