>>740
もちろんある
が、証明はできない