人工地震は起こせることが証明されました。