INTEGERSインテジャーズスマートフォン用の表示で見るINTEGERS数、特に整数に関する記事。空集合のときは自明に成立するので、ともに空集合ではないと仮定する。あってを満たすのもの(直交関係式。あってを満たすのものが存在して、−1と書くことができる。平均化すると、直交関係式によってFrobeniusノルム恒等式が得られる。以下なので、−2がわかる。単調減少性からとなって2に矛盾する。対して−3が得られる。成り立つことがわかった。成り立つこともわかる。