>>897
成り立ちます
五変数以上になると厳密な評価は難しそう