And a (a, b) - (c, d) is a product
# arrow
t
And a (a, b) - (c, d) is a product