命題
余積(>>35)は極値的全吸い込み(>>30)である。

証明
過去スレ018の887と双対原理(過去スレ018の159)。