2.4.3 $4D$: $a$-theorem

[1]<ol><li>LeFloch:2020uop</li><li>Tachikawa:2016kfc</li></ol>