PROOF SYSTEM, VERIFICATION DEVICE, PROOF DEVICE, PROOF METHOD, AND PROGRAM Application JP-2016208107-A Japan 08 Dec 2016