Exact properties of the Pauli potential for the square root of the electron density and the kinetic energy functional.