which astronomical discovery use mathematical prediction?
(AND astronomy.astronomical_discovery (JOIN astronomy.astronomical_discovery.discovery_technique m.05v3ykx))