Class Equality Extension of Set Equality

Theorem
Let $=_1$ denote set equality.

Let $=_2$ denote class equality.

Let $x$ and $y$ be sets.

Then $x =_1 y$ $x =_2 y$.