antisymmetry of wave function