On the prime graph of a finite group