Correct. This argument shows one way of reasoning about the special product .