Spin-statistics theorem