There are a few potential subtleties in the derivation of the existence Hawking radiation which we are for the time being
glossing over, see Section
5.1
for details.