Intersection of Non-Empty Class is Set/Corollary

Theorem
Let $x$ be a non-empty set.

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

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

Proof
From the axiom of transitivity, every set is a class.

Hence Intersection of Non-Empty Class is Set applies directly.