ψ⁡z-ψ⁡1-z=-π/tan⁡π⁢z,