>>785
では証明できないということでよろしいですね?