2024/8/7
2024/8/8 ：系2の証明にコメント
2024/9/18：ここの話の正確な議論はA generalized Legendre duality relation and Gaussian saturation (arXiv) を参照．