Spin statistics theorem