Note que $\beta \cup \{\beta\} \subset \gamma$ segue de outro exercĂ­cio. Para o outro lado, use a ordem em $\alpha$.