Let X be a nonempty set.
1. If u, v, a, B £ W(X) such that u~a and v~ 3, show that uv~ aß.
2. Show that F(X) is a group under the multiplication given by [u][v] - [u] for all [u], [v] F(X) (Hint: You can use the fact that W(X) is a monoid under the juxtaposition)