• F = 存在を証明したいファイル
• ある時点において F が存在したことを証明したい