Proving if something is a group