Corollary

Tag 06H0, permanent. Cite it as [Bourbaki, Tag 06H0].

Let $A$ be a commutative algebra of finite degree over a field $K$ . If $A$ is an integral domain, then it is a field.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.