Intersection of Non-Empty Class is Set

Theorem
Let $A$ be a non-empty class.

Let $\ds \bigcap A$ denote the intersection of $A$.

Then $\ds \bigcap A$ is a set.