Long-awaited mathematics proof could help scan Earth's innards | Hacker News Reader