Let S be a set with an associative binary operation but with no identity. Choose an element 1 not belonging to S, write M = {1} or S, and define an operation on M by using the operation of S and 1s=s=s1 for all s belonging to S. Show that M is a monoid.