>>540
成立の必要条件に証明があるならば、な