A.17 The vir­ial the­o­rem