25.1

25.2

For spin up

For spin down

25.3

Eigenvalues:

25.4

Prove