存在証明
U はあちこちに登録されている
タイムスタンプも登録されている
Uの偽造は不可能
F が存在しない時点で U を登録することは不可能
⇒ U が登録されている時点で F が存在したことがわかる