Dictionary: “型式証明”