. Due to Proposition \[RapidDecay\], $\|\chi' \varphi^{f_{k_x}}_{\cH}\|_{\cH}$ is rapidly decreasing in $k_x$ for some $f$ with sufficiently small support. Finally, the rapid decrease of $\|\chi' \varphi^{f_{-k_x}}_{\cH}\|_{\cH}$ can control the at-most polynomial growth of $\|\chi \varphi^{h_{k_y}}_{\cH}\|_{\cH}$, as discussed above in the analysis of using the fact that $(x,y,k_x,0)$ and $(x,y,0,k_y)$ cannot be contained in the wave front set of $\Lambda_U$; this leads to the construction of the open cone $\Gamma_{k_x}$.\
If we collect all the pieces of information we have got about the shape of $\Lambda_U$, we can state that: $$WF(\Lambda_U) \subset  \ag (x,y,k_x,k_y)\in T^*(\mM\times \mM)\setminus \{0\},\; (x,k_x)\sim (y,-k_y),\;  k_x 
\triangleright 0   \cg$$ and this concludes the proof. $\qed$

.3cm To conclude this section we have an important remark on the physical interpretation of $\omega_U$, that arises if one combines the results presented above, on the Hadamard property fulfilled by $\om_U$ in the [*full region*]{} $\mM$, together with the known achievements due to Fredenhagen and Haag [@Fredenhagen] (see also the discussion Sec VIII.3 in [@Haag]). In such paper the authors showed that, whenever a state $\om'$ is vacuum like far away from the black hole, its two-point function $\La'(x,x')$ tends to zero when the spatial separation between $x$ and $x'$ tends to infinity and whenever it is of Hadamard form in a neighborhood of $\cH_{ev}$, then, towards future infinity, the Hawking radiation appears. More precisely, if $h$ is a compactly supported smooth function supported far away from the black hole, they show that, for positive large values of $T$, the expectation value of $\La'(\beta_T^{X}(h),\beta_T^{X}(h))$, interpreted as the response of a detector, is
. Due to Proposition \[RapidDecay\ ], $ \|\chi' \varphi^{f_{k_x}}_{\cH}\|_{\cH}$ is rapidly decreasing in $ k_x$ for some $ f$ with sufficiently small support. ultimately, the rapid decrease of $ \|\chi' \varphi^{f_{-k_x}}_{\cH}\|_{\cH}$ can see the at - most polynomial growth of $ \|\chi \varphi^{h_{k_y}}_{\cH}\|_{\cH}$, as discussed above in the analysis of use the fact that $ (x, y, k_x,0)$ and $ (x, y,0,k_y)$ cannot be contained in the wave front stage set of $ \Lambda_U$; this leads to the construction of the exposed cone $ \Gamma_{k_x}$.\ 
 If we collect all the pieces of data we have got about the shape of $ \Lambda_U$, we can state that: $ $ WF(\Lambda_U) \subset   \ag (x, y, k_x, k_y)\in T^*(\mM\times \mM)\setminus \{0\},\; (x, k_x)\sim (y,-k_y),\;   k_x 
 \triangleright 0    \cg$$ and this concludes the validation. $ \qed$ 

 .3 cm To conclude this incision we have an important remark on the forcible interpretation of $ \omega_U$, that arises if one combines the solution presented above, on the Hadamard property satisfy by $ \om_U$ in the [ * full area * ] { } $ \mM$, together with the know achievements due to Fredenhagen and Haag [ @Fredenhagen ] (see also the discussion Sec VIII.3 in [ @Haag ]). In such newspaper the authors showed that, whenever a state $ \om'$ is vacuum like far away from the black hole, its two - point function $ \La'(x, x')$ tends to zero when the spatial separation between $ x$ and $ x'$ tends to infinity and whenever it is of Hadamard form in a neighborhood of $ \cH_{ev}$, then, towards future infinity, the Hawking radiation look. More precisely, if $ h$ is a compactly supported placid affair supported far away from the black fix, they show that, for positive large values of $ T$, the anticipation value of $ \La'(\beta_T^{X}(h),\beta_T^{X}(h))$, interpreted as the response of a detector, is
. Duf to Proposition \[RapidDegay\], $\|\chi' \varphi^{f_{k_r}}_{\xH}\|_{\cH}$ iv rapisly decrdasing in $k_x$ for some $f$ with syfficuently small support. Fknally, thv rapid dwcreese of $\|\chi' \varphm^{r_{-k_x}}_{\cH}\|_{\cH}$ can ckktrol vhe at-most polykomial growdh of $\|\chi \varpvi^{f_{k_v}}_{\cH}\|_{\cH}$, as discussed above in the analrsis of uding the fact jhat $(q,y,h_x,0)$ ahd $(x,y,0,k_y)$ cannot be contained in the wave fgont set of $\Lambds_U$; this leads to the constguctlon of the open coje $\Gamma_{k_x}$.\
Id we xollect all ghe pieces of informatjon we have got about the shape of $\Lcmbda_U$, we cqn stwje that: $$WF(\Lanbda_U) \subset  \ag (w,j,k_x,k_y)\in T^*(\mM\timrs \mM)\setminus \{0\},\; (x,k_e)\sim (y,-k_y),\;  k_x 
\trianglerighv 0   \cg$$ and this consludes tha 'roof. $\qed$

.3cm To concluee this secdion qe favt ai ijportajt cemark on tge physical interpretation of $\pmqta_U$, that arisss if jnq combines the results presented above, mn fhe Hadamard property fylfilled by $\om_U$ in thg [*full regyon*]{} $\mM$, together with the known achievements due tm Frevevhayck ana Hwag [@Fredenhagen] (see also the discussion Sec VYJI.3 ik [@Haag]). In such pcper the authors sjoegd that, whenevgr a stcfe $\om'$ is vacuum like far awwy frim the blwck nole, its two-point function $\Oa'(x,x')$ tends tj zero when the spacial separatnon bejween $c$ and $x'$ tends to infinicy and whenever ih is of Hzaamard form in a nepghbmrhood of $\cH_{ev}$, then, towardf future mnfinnty, the Fawkong raqiation apoears. More precisely, if $j$ is c com[actly supoorted smooth function supportev far away frpm thv black hjle, tmey show that, fjr positive latge valuef of $G$, the expebtation velue of $\La'(\beea_T^{X}(h),\beta_T^{X}(h))$, hjterpreted av the refponwe od a detdztor, is
. Due to Proposition \[RapidDecay\], $\|\chi' \varphi^{f_{k_x}}_{\cH}\|_{\cH}$ decreasing $k_x$ for $f$ with sufficiently decrease $\|\chi' \varphi^{f_{-k_x}}_{\cH}\|_{\cH}$ can the at-most polynomial of $\|\chi \varphi^{h_{k_y}}_{\cH}\|_{\cH}$, as discussed above the analysis of using the fact that $(x,y,k_x,0)$ and $(x,y,0,k_y)$ cannot be contained the wave front set of $\Lambda_U$; this leads to the construction of the cone If collect the pieces of information we have got about the shape of $\Lambda_U$, we can state that: \subset \ag (x,y,k_x,k_y)\in T^*(\mM\times \mM)\setminus \{0\},\; (x,k_x)\sim (y,-k_y),\; \triangleright 0 \cg$$ and concludes the proof. $\qed$ .3cm conclude section we an remark the physical interpretation $\omega_U$, that arises if one combines the results presented above, on the Hadamard property fulfilled by $\om_U$ the [*full together with known due Fredenhagen and Haag also the discussion Sec VIII.3 in paper the authors showed that, whenever a state is vacuum far away from the black hole, two-point function $\La'(x,x')$ tends to zero when the separation between $x$ and $x'$ tends to infinity and whenever it is of Hadamard form neighborhood of $\cH_{ev}$, then, future infinity, the radiation More if is a supported smooth function supported far away from the black hole, they that, for positive large values of $T$, the expectation value interpreted the response of detector, is
. Due to Proposition \[RapidDecaY\], $\|\chi' \varphi^{F_{k_x}}_{\cH}\|_{\CH}$ iS raPiDly dEcreAsing in $k_x$ for soME $f$ wiTh sufficiently small supPort. FInALly, tHE rApid dEcrease OF $\|\cHI' \VarPhI^{f_{-K_x}}_{\ch}\|_{\ch}$ CaN contRol The at-moSt polynomiAl gRoWth of $\|\chi \varpHI^{h_{K_y}}_{\cH}\|_{\cH}$, as diScuSsed above in tHe aNalysiS oF usINg the FacT that $(X,y,k_x,0)$ anD $(X,y,0,k_y)$ caNnot be conTaINed in tHE wave frONT sEt of $\lambda_U$; this leads tO ThE Construction of The opeN cONe $\gAMma_{K_x}$.\
IF we collect AlL the pIEces of iNFoRMATioN We have got abouT the shape of $\lAmbDa_U$, we cAn StaTE that: $$Wf(\LambDa_u) \SubSet  \ag (x,y,k_x,k_y)\In T^*(\mm\times \mM)\sEtminuS \{0\},\; (X,k_x)\sim (y,-K_Y),\;  k_x 
\triaNgleriGht 0   \Cg$$ aNd thIS cOnCluDeS The PRoOf. $\qED$

.3cm to concluDe ThIs secTion WE HAVe an ImpOrtaNt remArk on the physiCal InteRPreTatioN of $\omEga_U$, ThAt ariSes if oNe comBiNes the results prEsenTed above, oN thE HAdaMaRd proPErty fuLfiLleD by $\om_U$ iN the [*fulL RegIoN*]{} $\Mm$, ToGether with the known AcHIEvEments duE to FreDEnHaGEn and HaaG [@FRedEnhaGEN] (see aLso tHE dIscussioN Sec VIii.3 iN [@HAag]). In suCh Paper tHe AutHorS showED thaT, wheneVer a statE $\om'$ is VAcuum like far awAY from the black HOlE, ITs TWo-poInt Function $\La'(x,X')$ tenDS to zEro wHEn The SPatiaL sepaRaTIoN Between $x$ and $x'$ tends to InFinity And whEnever it is of HAdamard forM IN A neighboRhooD Of $\Ch_{ev}$, then, towards FuturE infinity, tHE Hawking RadiaTion appeArs. More prECIsely, if $h$ Is a ComPacTly SUPpOrted smooth fuNCTion SuPported Far Away froM thE blAck HolE, tHey show thAt, for posItIvE lArGe vAlues OF $T$, the expEcTatIoN vaLue of $\lA'(\beta_T^{x}(h),\betA_T^{X}(h))$, InTeRPreTed as thE ReSPOnse Of A dEtecTor, Is
. Due to Proposition \[Rap idDecay\],  $\|\ chi ' \ va rphi ^{f_ {k_x}}_{\cH}\| _ {\cH }$ is rapidly decreasi ng in  $ k _x$f or  some  $f$ wi t hs u ffi ci en tly  s m al l sup por t. Fina lly, the r api ddecrease of$ \| \chi' \var phi ^{f_{-k_x}}_ {\c H}\|_{ \c H}$ can c ont rol t he at- m ost po lynomialgr o wth of $\|\chi \ va rphi ^{h_{k_y}}_{\cH}\ | _{ \ cH}$, as discu ssed a bo v ei n  th e a nalysis of  u singt he fact th a t $(x , y,k_x,0)$ and  $(x,y,0,k_ y )$cannot  b e c o ntaine d inth e  wa ve front se t of  $\Lambda _U$; t h is lead s  to the  const ruc tio n of th eope nc one $\ Gam m a_{ k_x}$.\If  w e col lect a l l  the  pi eces  of i nformation we  ha ve g o t a boutthe s hape  o f $\L ambda_ U$, w ecan state that:  $$W F(\Lambda _U)  \ sub se t  \a g  (x,y, k_x ,k_ y)\in T ^*(\mM\ t ime s\ m M )\ setminus \{0\},\;(x , k _x )\sim (y ,-k_y) , \;  k _x 
\tri an gle righ t 0   \ cg$$ an d this c onclud e sth e proof .$\qed$ 
.3c m T o con c lude  thissectionwe ha v e an important remark on the ph y s ic a l in ter pretation o f $\ o mega _U$, th ata rises  if o ne co m bines the results p re sented  abov e, on the Had amard prop e r t y fulfil ledb y$ \om_U$ in the[*ful l region*] { } $\mM$,  toge ther wit h the kno w n  achieve men tsdue  to F re denhagen andH a ag [ @F redenha gen ] (seeals o t hedis cu ssion Sec  VIII.3in  [ @H aa g]) . Ins uch pape rthe  a uth ors s h owed t hat,when ev er a s tate $\ o m' $ is v ac uu m li kefa r awa y fr o m t he blac k hole, i tst wo-p oi nt  functi on $\La'(x,x' )$  tends toze rowhen t h e  spatial  separation between $x$ and $x' $ t endsto i nfinity a ndwhenev eri t is o f Hada mardfo rmi n  a ne i g hb orh oo d of $\cH_ { e v}$ , the n,  tow ards fu ture infinity, the Haw king radiatio n a ppea r s .Mor e  p r eci se l y,i f  $h$ is a compa ctly suppo rt e dsmooth fun c tio nsupport ed farawayf rom the  black ho le, theysh ow t h a t,for positi ve large  values o f  $T$, th e exp ect ationva lue  of $ \La'(\ b eta _T^{X }(h),\ be ta_T^{ X}(h) )$ , interp reted as the response o f a de tecto r,is
. Due_to Proposition_\[RapidDecay\], $\|\chi' \varphi^{f_{k_x}}_{\cH}\|_{\cH}$ is_rapidly decreasing_in_$k_x$ for_some_$f$ with sufficiently_small support. Finally,_the rapid decrease of_$\|\chi' \varphi^{f_{-k_x}}_{\cH}\|_{\cH}$ can_control_the at-most polynomial growth of $\|\chi \varphi^{h_{k_y}}_{\cH}\|_{\cH}$, as discussed above in the analysis of_using_the fact_that_$(x,y,k_x,0)$_and $(x,y,0,k_y)$ cannot be contained_in the wave front set_of $\Lambda_U$;_this leads to the construction of the open_cone_$\Gamma_{k_x}$.\
If we collect_all the pieces of information we have got about_the shape of $\Lambda_U$, we can_state that: $$WF(\Lambda_U)_\subset__\ag (x,y,k_x,k_y)\in T^*(\mM\times \mM)\setminus_\{0\},\; (x,k_x)\sim (y,-k_y),\;  k_x 
\triangleright_0   \cg$$ and this_concludes the proof. $\qed$

.3cm To conclude this_section we have an important remark_on the physical interpretation of_$\omega_U$, that_arises if one combines the_results presented above,_on the_Hadamard property fulfilled_by $\om_U$ in the [*full region*]{}_$\mM$, together with_the known achievements due to Fredenhagen_and_Haag [@Fredenhagen] (see_also_the_discussion Sec_VIII.3 in [@Haag])._In_such paper_the_authors showed that, whenever a state_$\om'$_is vacuum like far away from the_black hole, its two-point_function_$\La'(x,x')$ tends to zero_when the spatial separation between_$x$ and $x'$ tends to infinity_and whenever_it is_of Hadamard form in a neighborhood of $\cH_{ev}$, then, towards future_infinity, the Hawking radiation appears. More_precisely, if $h$ is_a compactly_supported_smooth function supported_far_away from_the black hole, they show that, for_positive large_values of $T$, the expectation value_of $\La'(\beta_T^{X}(h),\beta_T^{X}(h))$, interpreted as_the_response of a detector, is