Procedure of putting a physical field theory on a spacetime of the form K × Y, where K is a compact manifold