Omega-1 is large

From Groupprops

Statement

Let be a p-group, i.e., a group where the order of every element is a power of . Then, the subgroup defined by:

Then, is a large subgroup of : its intersection with every nontrivial subgroup of is nontrivial.