>>668
proである必要は?