Regularity of Ultrafilters and Fixed Points of Elementary Embeddings