Essential normality of quotient modules vs. Hilbert-Schmidtness of submodules in H² (D²) | Synapse