Given a finite set G is closed under an associative product and that both cancellation laws hold in G,Then G must be a group.
I need to prove that G must be a group, I understand that for this
I only need to show that :
1) There exist the identity
2) There exist the inverse.
But...