Let $G$ be a $p$ group of order $p^n$ and $k\leq n$.
Theorem:Number of the subgroups of $G$ with order $p^k$ is congurent to $1$ modulo $p$.
I have found a proof of this theorem in Rotman's book but I wonder that "Is there any shorter or elegant proof for this theorem" ?