25PARSEVAL’sches Theorem [Pap62, 2-5], [Mar95, 4.11].

@