Let $G$ be a set with an associative operation defined on it.

Assuming $G$ is finite and both cancellation laws hold, show that $G$ is a group.

Is knowing that $G$ is associative under an operation and finite enough to say that it is closed? Also how can I build an identity from this?