On the set Q of all rational numbers an operation * is defined by `a*b = 1 + ab`. Show that * is a binary operation on Q.