P
Initializing...
The DFT of Theorem 3.1 is the box DFT · Prove2Me