The wetting of planar surfaces of K by superfluid 4 He films at Tϭ0 K is theoretically studied. In order to examine the consistency of numerical results, new variational properties of the chemical potential are derived. Two substrate-adsorbate interactions are analyzed: ͑a͒ the standard ''3-9'' one and ͑b͒ the more elaborated potential recently proposed by Chizmeshya, Cole, and Zaremba ͑CCZ͒. New results calculated within the framework of two different nonlocal density functionals ͑namely, those known as the Orsay-Paris and Orsay-Trento formalisms͒ are reported. It is demonstrated that the numerical solutions obtained from the theoretical equations verify with high accuracy the derived variational conditions. The main output of this investigation is the finding that, for both analyzed adsorption potentials, thick enough helium films exhibit a positive square of the third-sound velocity. The wetting of a potassium substrate by superfluid 4 He at T ϭ0 K suggested by experimental data is guaranteed in the case of the recent CCZ potential.