a tarski monster group is necessarily a simple group